(* SCHEMA ship_moulded_form_schema; *)
TYPE minute_in_hour = INTEGER; WHERE wr1: ((0 <= SELF) AND (SELF <= 59)); END_TYPE; -- minute_in_hour
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:16:46-04:00