Module logical_linear_operation_impl 

Structs

LogicalLinearOperation

$(a, b) \circ (c, d) = \lambda x. c \wedge (a \wedge x \oplus b) \oplus d$