sig
  type t = [ `Prop | `Unitype ]
  val equal : FO.TyBuiltin.t -> FO.TyBuiltin.t -> bool
  val compare : FO.TyBuiltin.t -> FO.TyBuiltin.t -> int
  val print : FO.TyBuiltin.t FO.printer
end