(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
TYPE positive_length_measure = length_measure; WHERE WRTP1 : SELF > 0.0; END_TYPE; (* STEP Part 41 (unchanged in 2nd edition) *)
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:20:36-04:00