package colibri2
type t'' = private
| Sin of Colibri2_stdlib.Std.A.t * t''
| End of Colibri2_stdlib.Std.A.t * Colibri2_theories_LRA_stages_def.Bound.t * t''
| Inf
val equal_t'' : t'' -> t'' -> Ppx_deriving_runtime.bool
val compare_t'' : t'' -> t'' -> Ppx_deriving_runtime.int
val hash_fold_t'' :
Ppx_hash_lib.Std.Hash.state ->
t'' ->
Ppx_hash_lib.Std.Hash.state
val hash_t'' : t'' -> Ppx_hash_lib.Std.Hash.hash_value
val equal_t' : t' -> t' -> Ppx_deriving_runtime.bool
val compare_t' : t' -> t' -> Ppx_deriving_runtime.int
val hash_fold_t' :
Ppx_hash_lib.Std.Hash.state ->
t' ->
Ppx_hash_lib.Std.Hash.state
val hash_t' : t' -> Ppx_hash_lib.Std.Hash.hash_value
val equal_integrability :
integrability ->
integrability ->
Ppx_deriving_runtime.bool
val compare_integrability :
integrability ->
integrability ->
Ppx_deriving_runtime.int
val hash_fold_integrability :
Ppx_hash_lib.Std.Hash.state ->
integrability ->
Ppx_hash_lib.Std.Hash.state
val hash_integrability : integrability -> Ppx_hash_lib.Std.Hash.hash_value
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>