dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Module Dolmen_type . Arrays . Smtlib2 . Tff

Parameters

module Type : Tff_intf.S

Signature

type Type.err +=
| Forbidden : string -> Dolmen.Std.Term.t Type.err(*

Raised when a restriction on the sort of arrays is breached.

*)

Errors for array type-checking.