Module Bool_lit

module Bool_lit: sig .. end

Boolean Literal

The boolean literal carries a payload of type 'a


module type S = Bool_lit_intf.S
module type PAYLOAD = sig .. end
module Make: 
functor (Payload : PAYLOAD) -> S with type payload = Payload.t