sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module Type : Tff_intf.S
module Ty : Dolmen.Intf.Ty.Smtlib_Array with type t := Type.Ty.t
module T : Dolmen.Intf.Term.Smtlib_Array with type t := Type.T.t
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.
val parse : arrays:arrays -> Dolmen.Smtlib2.version -> Type.builtin_symbols