Module type Domain_sig.With_Binary

module Context : Context
type binary
type boolean
module Binary : Datatype_sig.S with type t = binary
val binary_pretty : size:int -> Context.t -> Stdlib.Format.formatter -> binary -> unit
val serialize_binary : size:int -> Context.t -> binary -> Context.t -> binary -> 'a Context.in_acc -> (binary, 'a) Context.result
val binary_empty : size:int -> Context.t -> binary
val binary_unknown : size:int -> Context.t -> binary
include With_Binary_Forward with module Context := Context and type binary := binary and type boolean := boolean