You can search for identifiers within the package.
in-package search v0.2.0
alg_structs
Alg_structs.Triv
A solitary type
module type S = sig ... end
Triv specifies a module with a single type t.
Triv
t
val make : 'a Util.proxy -> (module S with type t = 'a)
make (Proxy : a proxy) is a (module T : S with t = a).
make (Proxy : a proxy)
(module T : S with t = a)