module Make: functor (C : sig val name : string val dump : unit -> unit val compute : unit -> unit type t val ty : t Type.t val get : unit -> tend) -> sig .. end
functor (
C
:
sig
val name : string
string
val dump : unit -> unit
unit -> unit
val compute : unit -> unit
type t
val ty : t Type.t
t Type.t
val get : unit -> t
unit -> t
end
) ->
sig val name: string val dump: unit -> unit val compute: unit -> unit type t val ty: t Type.t val get: unit -> t end
val get : unit -> C.t
unit -> C.t