Ocaml 对象内部的模块

我想根据对象的类型在对象内部定义一个参数化模块

我有两个互锁的模块：

(* Parameters*)
module type A = sig
        type agent
        type intern_agent = { i : agent}
        val create : agent -> intern_agent
end

module type E = sig
        type event
end



module  type StateType = sig

  type agent
  type event

  type  state_t = { 
    mutable name : string;
    mutable parentstate  :  state_t option;
  }
end


module State (A : A) (E : E) = struct

        type agent = A.agent
        type event = E.event
    type  state_t = { 
            mutable name : string;
             mutable parentstate  :  state_t option;
    }


    (*...*)
end


module Agent (S : StateType) =
        struct
          type agent = S.agent
          type event = S.event
          type state_t = S.state_t

      type  agent_t = {
          mutable agent      : agent ;
      }

      let create a1   = {
          agent          = a1;
      }
end

(* An implementation of E*)
type event1 = Event1 | Event2;;
module E = struct type event = event1 end;;

我想做的事情是这样的（这在语法上是不正确的，但代表了我想做的事情）：

我如何编写它来定义一个由自身参数化的代理的值

---

谢谢

字符类定义的语法正确版本是

class  character = object (self :'self)
  val mutable position        = (0,0)
  val agent =
    let module A = struct
      type agent = character
      type intern_agent = { i : agent}
      let create a = { i = a }
    end in
    let module Ag = Agent(State(A)(E)) in
    Ag.create self

  method getPosition          = position
end 

尽管如此，它不会编译，因为代理将脱离值代理定义的范围。实际上，您要求编译器允许您从具有函数本地类型的函数返回值

---

我希望我能给你一些关于如何重新设计代码的建议，但我需要更多关于你意图的信息

我得到的一个解决方案是避免由代理定义模块。

class  character = object (self :'self)
  val mutable position        = (0,0)
  val agent =
    let module A = struct
      type agent = character
      type intern_agent = { i : agent}
      let create a = { i = a }
    end in
    let module Ag = Agent(State(A)(E)) in
    Ag.create self

  method getPosition          = position
end