Domain_sig.With_Integer
module Integer : Datatype_sig.S with type t = integer
val serialize_integer :
Context.t ->
integer ->
Context.t ->
integer ->
'a Context.in_acc ->
(integer, 'a) Context.result
module Integer_Forward :
Transfer_functions.Integer_Forward
with module Arity := Context_Arity_Forward(Context)
and type boolean := boolean
and type integer := integer