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