Module M'.Boolean

type boolean = L.boolean