Field	Type
No registered field

	Method name	Arguments

(Link CBool) -> CBool (/pliant/language/basic/safe.pli)	implicit
(Pointer CBool) -> CBool (/pliant/language/basic/safe.pli)	implicit
Bool -> CBool	extension

CBool -> Bool

reduction