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 : unit -> variable
type _ rawco =
| CRange : range * 'a rawco -> 'a rawco
| CTrue : unit rawco
| CConj : 'a rawco * 'b rawco -> ('a * 'b) rawco
| CEq : variable * variable -> unit rawco
| CExist : variable * variable O.structure option * 'a rawco -> 'a rawco
| CWitness : variable -> O.ty rawco
| CInstance : X.tevar * variable -> O.ty list rawco
| CDef : X.tevar * variable * 'a rawco -> 'a rawco
| CLet : (X.tevar * variable) list
* 'a rawco
* 'b rawco -> (O.tyvar list * (X.tevar * O.scheme) list * 'a * 'b) rawco
| CMap : 'a rawco * ('a -> 'b) -> 'b rawco
val print_rawco : Stdlib.Format.formatter -> _ rawco -> unit
val solve : rectypes:bool -> 'a rawco -> 'a