sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
************************************************************************
val ops : Farith.F.t Value.ops
ops for bitvector values.
val mk : Farith.F.t -> Value.t
mk f
floating point value creation.
************************************************************************
Raised when the exponand and mantissa siez do not respect the constraints imposed by `Farith`.
val builtins : Env.builtins
builtins for floating-points