Module FO.Ty

module Ty: sig .. end

type t 

type toplevel_ty = t list * t 

val view : t -> t FO.ty_view

val const : FO.id -> t

val app : FO.id -> t list -> t

val builtin : FO.TyBuiltin.t -> t

val arrow : t list -> t -> toplevel_ty

val is_prop : t -> bool

val equal : t -> t -> bool

val compare : t -> t -> int

val hash : t -> int

val to_seq : t -> t Sequence.t