package dolmen_type

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = Type.T.t

The type of terms

type ty

The type of types

module Const : 
  Dolmen_intf.Term.Tptp_Thf_Core_Const with type t = Type.T.Const.t

Constants

val of_cst : Const.t -> t

Create a term out of aconstant.

val distinct : t list -> t

Distinct constraints on terms.