Module Autolog.Log_Boolean_Backward

Parameters

module C : BOOLEAN_CONVERSION

module F : sig ... end

Signature

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