|
(* Modified for LPM/6 *)(a_shell : shell) : shell;
IF ('STRUCTURAL_FRAME_SCHEMA.OPEN_SHELL' IN TYPEOF (a_shell) ) THEN
RETURN (open_shell_reversed (a_shell));
ELSE
IF ('STRUCTURAL_FRAME_SCHEMA.CLOSED_SHELL' IN TYPEOF (a_shell) ) THEN
RETURN (closed_shell_reversed (a_shell));
ELSE
RETURN (?);
END_IF;
END_IF;
|
|