package colibri2

  1. Overview
  2. Docs
type t = {
  1. app : Expr.Ty.Const.t;
  2. args : t list;
}
include Colibri2_popop_lib.Popop_stdlib.Datatype with type t := t
include Colibri2_popop_lib.Popop_stdlib.OrderedHashedType with type t := t
val equal : t -> t -> bool
val hash_fold_t : t Base.Hash.folder
module S : Colibri2_popop_lib.Map_intf.Set with type 'a M.t = 'a M.t and type M.key = M.key
include Base.Hashtbl.Key.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val sexp_of_t : t -> Sexplib0.Sexp.t
val hash : t -> int
val convert : Subst.ty -> Expr.Ty.t -> t
val prop : t

The type of propositions

val bool : t

Alias for prop.

val unit : t

The unit type.

val base : t

An arbitrary type.

val int : t

The type of integers

val rat : t

The type of rationals

val real : t

The type of reals.

val array : t -> t -> t

The type of strings

val string : t

The type of strings

val string_reg_lang : t

The type of regular language over strings.

val definition : Expr.Ty.Const.t -> Expr.Ty.def
OCaml

Innovation. Community. Security.