Module FO.TyBuiltin

module TyBuiltin: sig .. end

type t = [ `Prop | `Unitype ] 

val equal : t -> t -> bool

val compare : t -> t -> int

val print : t FO.printer