|
Opened structures |
---|
Value summary |
---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Exception summary |
---|
|
Value detail |
---|
val s
val p
val mem
val subset
val --
val @@
val ##
val union
val vars
val freeVars
val subst_term
val subst
val subst_list
val alphaEqual
val typeCheckVar
val typeCheck
val typeCheck'
Exception detail |
---|
exception TypeError of (ident * expType) list * typed_term
|