On Tue, 27 Sep 2011, Jacques Garrigue wrote:

uhm, I've tried to follow your advice but the problem persists (attached
the new version) when I try to apply the functor I get the following
error:

# module M1 = Continuation(Sum) ;;
Error: Signature mismatch:
      Modules do not match:
        sig
          type a = int
          and b = int
          and c = int
          val op : int -> int -> int
          val init : int
        end
      is not included in
        OpVarADT.OpVarADT
      Values do not match:
        val op : int -> int -> int
      is not included in
        val op : 'a -> 'b -> 'c