RULE dependent_instantiable_type_qualifier

(* SCHEMA cast_parts_schema; *)

  RULE dependent_instantiable_type_qualifier FOR (type_qualifier);

  WHERE
    wr1: SIZEOF(QUERY ( tq <* type_qualifier | (NOT (SIZEOF(USEDIN(tq,'')) 
             >= 1)) )) = 0;

  END_RULE; -- dependent_instantiable_type_qualifier

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:49-04:00