boolean_choose
EXPRESS specification:
FUNCTION
boolean_choose
(* Modified for LPM/6 *)(b : boolean; choice1, choice2 : generic : item) : generic : item;
IF b THEN
RETURN (choice1);
ELSE
RETURN (choice2);
END_IF;
END_FUNCTION
;