(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
FUNCTION valid_time (time: local_time) : BOOLEAN; IF EXISTS (time.second_component) THEN RETURN (EXISTS (time.minute_component)); ELSE RETURN (TRUE); END_IF; END_FUNCTION; (* STEP Part 41 (unchanged in 2nd edition) *)
|
Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00