sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module P : sig ... end
val assume_equality :
Colibri2_core.Egraph.wt ->
Colibri2_core.Node.t ->
P.t ->
unit
assume_equality d n p
assumes the equality n = p
val init : Colibri2_core.Egraph.wt -> unit
Initialize the data-structure needed.
val get_repr : _ Colibri2_core.Egraph.t -> Colibri2_core.Node.t -> P.t option
val attach_repr_change :
_ Colibri2_core.Egraph.t ->
?node:Colibri2_core.Node.t ->
(Colibri2_core.Egraph.wt -> Colibri2_core.Node.t -> unit) ->
unit
val events_repr_change :
_ Colibri2_core.Egraph.t ->
?node:Colibri2_core.Node.t ->
(Colibri2_core.Egraph.rt ->
Colibri2_core.Node.t ->
Colibri2_core.Events.enqueue) ->
unit
val normalize : _ Colibri2_core.Egraph.t -> P.t -> P.t