RULE dependent_instantiable_type_qualifier

(* SCHEMA step_merged_ap_schema; *)

-- IN AP214/AP224
RULE dependent_instantiable_type_qualifier FOR (type_qualifier );
   WHERE
      wr1:
         SIZEOF(QUERY (t <* type_qualifier| NOT (SIZEOF(USEDIN(t, '')) > 0))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:19-04:00