-
Andrei Paskevich authored
1. We really need to distinguish first-class functions (mappings), pure logical functions (functions and predicates), and program functions (routines). 2. The ps_ prefix is already used for predicate symbols. 3. 'psymbol' and 'pvsymbol' are too similar.
58586dac