package prbnmcn-basic-structures

  1. Overview
  2. Docs

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