Parameter Log_Boolean_Backward.F

val not : (C.boolean, C.boolean) C.Arity.ar1

val (&&) : (C.boolean, C.boolean, C.boolean) C.Arity.ar2

val (||) : (C.boolean, C.boolean, C.boolean) C.Arity.ar2