Domain_sig.With_Binary
module Binary : Datatype_sig.S with type t = binary
val serialize_binary :
size:int ->
Context.t ->
binary ->
Context.t ->
binary ->
'a Context.in_acc ->
(binary, 'a) Context.result
include With_Binary_Forward
with module Context := Context
and type binary := binary
and type boolean := boolean
module Binary_Forward :
Transfer_functions.Binary_Forward
with module Arity := Context_Arity_Forward(Context)
and type boolean := boolean
and type binary := binary