Module type `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

Can return true if provably empty; false is always safe.

val integer_pretty : Context.t -> Stdlib.Format.formatter -> integer -> unit

val serialize_integer : 
  widens:bool ->
  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

module Integer_Forward : 
  Operator.INTEGER_FORWARD
    with module Arity := Context_Arity_Forward(Context)
     and type boolean := boolean
     and type integer := integer

module Integer_Query : 
  Integer_Query
    with type abstract_state := Context.t
     and type integer := integer

Module type Sig.With_Integer

Module type `Sig.With_Integer`