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 Ty : Dolmen.Intf.Ty.Tptp_Base with type t = Type.Ty.t

module T : Dolmen.Intf.Term.Tptp_Tff_Core with type t = Type.T.t

val parse : Dolmen.Tptp.version -> Type.builtin_symbols