package alg_structs

  1. Overview
  2. Docs

A solitary type

module type S = sig ... end

Triv specifies a module with a single type t.

val make : 'a Alg_structs__.Util.proxy -> (module S with type t = 'a0)

make (Proxy : a proxy) is a (module T : S with t = a).