| =!= | UniqueLogic.ST.Expression |
| =:= | UniqueLogic.ST.Expression |
| Abs | UniqueLogic.ST.Example.Label |
| Add | UniqueLogic.ST.Example.Label |
| add | UniqueLogic.ST.Rule |
| Apply | |
| 1 (Type/Class) | UniqueLogic.ST.SystemLog, UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| 2 (Type/Class) | UniqueLogic.ST.Expression |
| arg | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| 3 (Function) | UniqueLogic.ST.Expression |
| Assign | |
| 1 (Type/Class) | UniqueLogic.ST.Example.Label |
| 2 (Data Constructor) | UniqueLogic.ST.Example.Label |
| assignment2 | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| assignment3 | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| Assigns | UniqueLogic.ST.Example.Label |
| Const | UniqueLogic.ST.Example.Label |
| constant | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| 3 (Function) | UniqueLogic.ST.Expression |
| 4 (Function) | UniqueLogic.ST.Example.Label |
| Div | UniqueLogic.ST.Example.Label |
| equ | UniqueLogic.ST.Rule |
| example | |
| 1 (Function) | UniqueLogic.ST.Example.Rule |
| 2 (Function) | UniqueLogic.ST.Example.Expression |
| expression | UniqueLogic.ST.Example.Label |
| fromRule1 | UniqueLogic.ST.Expression |
| fromRule2 | UniqueLogic.ST.Expression |
| fromRule3 | UniqueLogic.ST.Expression |
| fromVariable | UniqueLogic.ST.Expression |
| generic2 | |
| 1 (Function) | UniqueLogic.ST.Rule |
| 2 (Function) | UniqueLogic.ST.RuleLog |
| generic3 | |
| 1 (Function) | UniqueLogic.ST.Rule |
| 2 (Function) | UniqueLogic.ST.RuleLog |
| globalVariable | |
| 1 (Function) | UniqueLogic.ST.SystemLog, UniqueLogic.ST.System |
| 2 (Function) | UniqueLogic.ST.SystemLabel |
| 3 (Function) | UniqueLogic.ST.Example.Label |
| localVariable | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| Max | UniqueLogic.ST.Example.Label |
| max | |
| 1 (Function) | UniqueLogic.ST.Rule |
| 2 (Function) | UniqueLogic.ST.Expression |
| maximum | UniqueLogic.ST.Expression |
| Mul | UniqueLogic.ST.Example.Label |
| mul | UniqueLogic.ST.Rule |
| Name | UniqueLogic.ST.Example.Label |
| pair | |
| 1 (Function) | UniqueLogic.ST.Rule |
| 2 (Function) | UniqueLogic.ST.Expression |
| plainVariable | UniqueLogic.ST.System |
| pow | UniqueLogic.ST.Rule |
| query | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| rule | UniqueLogic.ST.Example.Label |
| runApply | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| 3 (Function) | UniqueLogic.ST.Expression |
| Signum | UniqueLogic.ST.Example.Label |
| solve | |
| 1 (Function) | UniqueLogic.ST.SystemLog |
| 2 (Function) | UniqueLogic.ST.System |
| 3 (Function) | UniqueLogic.ST.SystemLabel |
| sqr | UniqueLogic.ST.Expression |
| sqrt | UniqueLogic.ST.Expression |
| square | UniqueLogic.ST.Rule |
| Sub | UniqueLogic.ST.Example.Label |
| T | |
| 1 (Type/Class) | UniqueLogic.ST.SystemLog, UniqueLogic.ST.System, UniqueLogic.ST.SystemLabel |
| 2 (Type/Class) | UniqueLogic.ST.Expression |
| Term | UniqueLogic.ST.Example.Label |
| Var | |
| 1 (Type/Class) | UniqueLogic.ST.System |
| 2 (Data Constructor) | UniqueLogic.ST.Example.Label |
| Variable | |
| 1 (Type/Class) | UniqueLogic.ST.SystemLog, UniqueLogic.ST.System |
| 2 (Type/Class) | UniqueLogic.ST.SystemLabel |