Function Index [ ! ] to [ f ]
[ ! ] [ : ] [ < ] [ = ] [ ` ] [ a ] [ b ] [ c ] [ d ] [ e ] [ f ] [ g ] [ i ] [ k ] [ l ] [ m ] [ n ] [ o ] [ p ] [ r ] [ s ] [ t ] [ u ] [ v ] [ x ] [ y ]! | cache ** dom -> codom |
= | alpha ** alpha -> bool |
= | fct ** fct -> bool |
= | ident ** ident -> bool |
= | inst ** inst -> bool |
= | kind ** kind -> bool : [1], [2] |
= | method[sto, bool] -> alpha ** alpha -> bool |
= | name ** name -> bool : [1], [2] |
= | object ** denotation ** kind -> bool |
= | origin ** origin -> bool |
= | sort ** sort -> bool |
= | struct ** struct -> bool |
= | type ** type -> bool |
= | value ** value -> sto |
=? | sto -> bool |
` | kind -> denotation |
` | name -> denotation |
` | sort -> denotation |
` | struct -> denotation |
` | type -> denotation |
applicable? | value ** value -> bool |
apply | value ** value -> value |
baseName | denotation -> denotation |
basic | coreReflection -> coreType |
basic | sort -> type |
basic? | type -> bool |
bind | name -> value |
eager | alpha -> lazy |
eval | lazy -> alpha |
next node: [ g ] to [ v ],
prev node: Function Index,
up to node: Function Index