我已经构建了几个模块,包括EEA,它与模块类型PROP相匹配。现在,我想构建两个函子,如下所示:module type ZONE = ...module ZoneFun (Prop : PROP) = struct...module ZonesFun (Zone: ZONE) = struct ...因此,函子将允许我构建模块open Zone
open
这个问题类似于,但我想声明一个递归函子,而不是递归模块。所以我有:module type A = sig val basic_func: ...val complex_func: ...函子ComplexImpl,它根据A.basic_func实现A.complex_func: ...另一个接口I:
module type I = s