dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
type arrays =
| All
| Only_int_int
| Only_ints_real
| Only_bitvec

The difference type of array restrictions that can be imposed by logics.

module Tff (Type : Tff_intf.S) (Ty : Dolmen.Intf.Ty.Smtlib_Array with type t := Type.Ty.t) (T : Dolmen.Intf.Term.Smtlib_Array with type t := Type.T.t) : sig ... end