package codex
Parameter Log_Boolean_Backward.F
val not : (C.boolean, C.boolean) C.Arity.ar1val (&&) : (C.boolean, C.boolean, C.boolean) C.Arity.ar2val (||) : (C.boolean, C.boolean, C.boolean) C.Arity.ar2Log_Boolean_Backward.Fval not : (C.boolean, C.boolean) C.Arity.ar1val (&&) : (C.boolean, C.boolean, C.boolean) C.Arity.ar2val (||) : (C.boolean, C.boolean, C.boolean) C.Arity.ar2