| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Bool.Base
Documentation
d__'8804'__10 :: p1 -> p2 -> () Source #
data T__'8804'__10 Source #
Constructors
| C_f'8804't_12 | |
| C_b'8804'b_16 |
d__'60'__18 :: p1 -> p2 -> () Source #
data T__'60'__18 Source #
Constructors
| C_f'60't_20 |
d__'8743'__24 :: Bool -> Bool -> Bool Source #
d__'8744'__30 :: Bool -> Bool -> Bool Source #
d__xor__36 :: Bool -> Bool -> Bool Source #
d_if_then_else__42 :: T_Level_14 -> () -> Bool -> AgdaAny -> AgdaAny -> AgdaAny Source #