(* SCHEMA AUTOMOTIVE_DESIGN; *)
TYPE non_negative_length_measure = length_measure; WHERE wr1 : SELF >= 0.0; END_TYPE; -- 10303-41: measure_schema
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:16:09-04:00