(* SCHEMA explicit_draughting; *)
TYPE positive_ratio_measure = ratio_measure; WHERE wr1: SELF > 0; END_TYPE; -- positive_ratio_measure
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:14:03-04:00