Module type `Sig.With_Binary`

module Context : Context

type binary

type boolean

module Binary : Datatype_sig.S with type t = binary

val binary_pretty : 
  size:Units.In_bits.t ->
  Context.t ->
  Stdlib.Format.formatter ->
  binary ->
  unit

val serialize_binary : 
  widens:bool ->
  size:Units.In_bits.t ->
  Context.t ->
  binary ->
  Context.t ->
  binary ->
  'a Context.in_acc ->
  (binary, 'a) Context.result

val binary_empty : size:Units.In_bits.t -> Context.t -> binary

val binary_unknown : size:Units.In_bits.t -> Context.t -> binary

include With_Binary_Forward
  with module Context := Context
   and type binary := binary
   and type boolean := boolean

module Binary_Forward : 
  Operator.BINARY_FORWARD
    with module Arity := Context_Arity_Forward(Context)
     and type boolean := boolean
     and type binary := binary

Module type Sig.With_Binary

Module type `Sig.With_Binary`