package dolmen_type
include Dolmen_intf.Term.Smtlib_Int with type t := Type.T.t
include Dolmen_intf.Term.Smtlib_Arith_Common with type t := Type.T.t
val mk : string -> Type.T.t
Build a constant. The literal is passed as a string to avoid overflow caused by the limited precision of native number formats.
Euclidian division. See Smtlib theory for a full description.
Euclidian integer remainder See Smtlib theory for a full description.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>