package dolmen_type

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Builtins for smtlib's core theory

Parameters

module Type : Tff_intf.S

module Tag : Dolmen.Intf.Tag.Zf_Base with type 'a t = 'a Type.Tag.t

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

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

Signature

val parse : Type.builtin_symbols