sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module S : UnifierSig.STRUCTURE
module U : UnifierSig.UNIFIER with type 'a structure = 'a S.structure
val fresh : U.variable S.structure option -> U.variable
val quantifiers : scheme -> U.variable list
val body : scheme -> U.variable
val show_state : string -> state -> unit
val init : unit -> state
val register : state -> U.variable -> unit
val registered : U.variable -> bool
val trivial : U.variable -> scheme
val enter : state -> unit
val exit :
rectypes:bool ->
state ->
U.variable list ->
U.variable list * scheme list
val instantiate : state -> scheme -> U.variable list * U.variable