package dolmen_type

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Builtin symbols for tptp's tff

Parameters

module Type : Tff_intf.S

module Tag : 
  Dolmen.Intf.Tag.Ae_Base
    with type 'a t = 'a Type.Tag.t
     and type term := Type.T.t

module Ty : Dolmen.Intf.Ty.Ae_Base with type t = Type.Ty.t

module T : 
  Dolmen.Intf.Term.Ae_Base
    with type t = Type.T.t
     and type term_var := Type.T.Var.t

val parse : Type.builtin_symbols