Module FO.Builtin

module Builtin: sig .. end

type t = [ `Int of int ] 

val equal : t -> t -> bool

val compare : t -> t -> int

val print : t FO.printer