sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Construct a FAD-like module from a module of operators
type elt = T.elt
type scalar = T.scalar
val create : unit -> t
val integer : int -> t
val zero : unit -> t
val one : unit -> t
val two : unit -> t
val to_string : t -> string
val string_of_scalar : scalar -> string
val string_of_elt : elt -> string
val dim : t -> int
val diff : t -> int -> int -> unit
val reset_diff : t -> unit