prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures

Parameters

module X : sig ... end

Signature

include module type of struct include Empty end
type 'a m = 'a

'a m is the type of programs computing a value of type 'a

type t = X.t
val enum : X.t -> int
val all : X.t array
val const : 'a -> 'b
val dispatch : 'a -> ( 'b -> 'c ) -> 'd