Domain_sig.With_Boolean
module Boolean : Datatype_sig.S with type t = boolean
val serialize_boolean :
Context.t ->
boolean ->
Context.t ->
boolean ->
'a Context.in_acc ->
(boolean, 'a) Context.result
module Boolean_Forward :
Transfer_functions.Boolean_Forward
with module Arity := Context_Arity_Forward(Context)
and type boolean := boolean
val query_boolean : Context.t -> boolean -> Lattices.Quadrivalent.t