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, 'r) binder
val lift : ('a -> variable -> 'b co) -> 'a -> variable O.structure -> 'b co
val solve : rectypes:bool -> 'a co -> 'a