Module Alg_structs.Triv
A solitary type
module type S = sig ... endTrivspecifies a module with a single typet.
val make : 'a Util.proxy -> (module S with type t = 'a)make (Proxy : a proxy)is a(module T : S with t = a).
Alg_structs.TrivA solitary type
module type S = sig ... endTriv specifies a module with a single type t.
val make : 'a Util.proxy -> (module S with type t = 'a)make (Proxy : a proxy) is a (module T : S with t = a).