package colibri2
val register :
_ Colibri2_core.Egraph.t ->
(Colibri2_core.Expr.builtin -> bool) ->
unit
The registered function tells when an application should be skipped when looking for patterns in a term (top down)
val skipped : _ Colibri2_core.Egraph.t -> Colibri2_core.Expr.builtin -> bool
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>