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