TERM

module TERM : sig
  type t
  val succ: t -> t
  val init: unit -> t
  val compare: t -> t -> int
end

module Term : TERM = struct
  type t = int
    with compare
  let succ = succ
  let init() = 0
end