Module Total_map__Enumeration.Make

Parameters

Signature

type ('a, 'b) enumeration
type t
type enumeration_witness
val enumeration : (tenumeration_witness) enumeration