package setr
type t =
| Bool of bool
| String of string
| Int of int
| Symbolic of (module SETr_Symbolic_Interface.S)
| SymSing of (module SETr_SymSing_Interface.S)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>