sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
module X : SolverSig.TEVAR
module S : UnifierSig.STRUCTURE
module O : SolverSig.OUTPUT with type 'a structure = 'a S.structure
val fresh : variable O.structure option -> variable
exception Unbound of X.tevar
exception Cycle of variable
val solve : bool -> rawco -> unit
val new_decoder : bool -> decoder