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 pure : 'a -> 'a co
val (---) : variable -> variable O.structure -> unit co
val construct_ : variable O.structure -> (variable -> 'a co) -> 'a co
val lift : ('a -> variable -> 'b co) -> 'a -> variable O.structure -> 'b co
exception Unbound of X.tevar
exception Cycle of O.ty
val solve : bool -> 'a co -> 'a