(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* Modified for LPM/6 *) FUNCTION boolean_choose (b : boolean; choice1, choice2 : generic : item) : generic : item; IF b THEN RETURN (choice1); ELSE RETURN (choice2); END_IF; END_FUNCTION; (* STEP Part 42 (modified for 2nd edition) *)
|
Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00