Module `Integer.Int64`

type t = int64

val zero : Progress_engine.Integer.Int64.t

val one : Progress_engine.Integer.Int64.t

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

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

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

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

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

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

Module Integer.Int64