Overview Schemas Index

Production_rule_arm         

TYPE constants = EXTENSIBLE SELECT (
          any_number_value,
          any_string_value,
          Logical_representation_item);
END_TYPE; -- constants

Extensions

          -

Users

          term_select
                    Atomic_formula.terms
                    Func.terms
                    Global_assignment.val
                    Row_value.values