Module `Integer.Int`

type t = int

val zero : Progress_engine.Integer.Int.t

val one : Progress_engine.Integer.Int.t

val add : 
  Progress_engine.Integer.Int.t ->
  Progress_engine.Integer.Int.t ->
  Progress_engine.Integer.Int.t

val sub : 
  Progress_engine.Integer.Int.t ->
  Progress_engine.Integer.Int.t ->
  Progress_engine.Integer.Int.t

val equal : 
  Progress_engine.Integer.Int.t ->
  Progress_engine.Integer.Int.t ->
  bool

val to_string : Progress_engine.Integer.Int.t -> string

val to_float : Progress_engine.Integer.Int.t -> float

val of_float : float -> Progress_engine.Integer.Int.t

Module Integer.Int