The type "Bool" is defined in
/pliant/language/type/misc/bool.pli
module.
Field
Type
value
Byte
Method name
Arguments
(Data Bool) -> Bool
implicit
(Pointer Bool) -> Bool
(/pliant/language/basic/safe.pli)
implicit
CBool -> Bool
reduction
Bool -> CBool
extension