sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module Type : Tff_intf.S
module Ty : Dolmen.Intf.Ty.Ae_Arith with type t := Type.Ty.t
type Type.err +=
| Expected_arith_type : Type.Ty.t -> Dolmen.Std.Term.t Type.err
Error raised when an arithmetic type was expected (i.e. either int or real), but another type was found.
*)Additional errors specific to arithmetic typing.
val parse : Type.builtin_symbols