Index - F
| freeIxs | LAM.Base |
| freeVars | LAM.Base |
| freshName | LAM.Base |
| fromBVDBTerm | LAM.Types.BV, LAM.Base |
| fromDBTerm | LAM.Types.Generic, LAM.Base |
| fromDBTermCtx | LAM.Types.Generic, LAM.Base |
| fromDBTTerm0 | LAM.Trim |
| fromDBTTerm0Trim | LAM.Trim |
| fromDBTTerm1 | LAM.Trim |
| fromList | |
| 1 (Function) | Trie.Map |
| 2 (Function) | LAM.IsDBEnv |