(* SCHEMA ship_structures_schema; *)
TYPE month_in_year_number = INTEGER; WHERE wr1: ((1 <= SELF) AND (SELF <= 12)); END_TYPE; -- month_in_year_number
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:17:00-04:00