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