Module type Domain_sig.With_Integer

module Context : Context
type integer
type boolean
module Integer : Datatype_sig.S with type t = integer
val integer_is_empty : Context.t -> integer -> bool
val integer_pretty : Context.t -> Stdlib.Format.formatter -> integer -> unit
val serialize_integer : Context.t -> integer -> Context.t -> integer -> 'a Context.in_acc -> (integer, 'a) Context.result
val integer_empty : Context.t -> integer
val integer_unknown : Context.t -> integer