package dolmen_type

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module Type : Tff_intf.S

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

module T : 
  Dolmen.Intf.Term.Smtlib_Float
    with type t := Type.T.t
     and type ty := Type.Ty.t

type Type.err +=

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