Overview  Index  Help 

FunTypeChecker


Opened structures

ProofAst

FunAst

               
Value summary

val ##

val --

val @@

val alphaEqual

val freeVars

val mem

val p

val s

val subset

val subst

val subst_list

val subst_term

val typeCheck

val typeCheck'

val typeCheckVar

val union

val vars

 
Exception summary

exception TypeError of (ident * expType) list * typed_term

       
Value detail

s

val s


p

val p


mem

val mem


subset

val subset


--

val --


@@

val @@


##

val ##


union

val union


vars

val vars


freeVars

val freeVars


subst_term

val subst_term


subst

val subst


subst_list

val subst_list


alphaEqual

val alphaEqual


typeCheckVar

val typeCheckVar


typeCheck

val typeCheck


typeCheck'

val typeCheck'

 
Exception detail

TypeError

exception TypeError of (ident * expType) list * typed_term


Overview  Index  Help