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 const : 'a -> 'b