Navigation

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;