Please enable JavaScript.

Coggle requires JavaScript to display documents.

L010 - Coggle Diagram

- - - - ANY x WHERE T THEN P END
        
        e.g.
        
        ANY n
        WHERE n: NATURAL1
        THEN total := total * n
        END
        
        ANY x,y
        WHERE x: NATURAL & y: NATURAL
        THEN sum := x + y
        END
    - - ANY mm
        WHERE mm: S
        THEN xx := mm
        END
      - xx::S
        
        e.g.
        
        team::{tt | tt <: squad and card(tt) = 11}
    - - CHOICE P
        OR Q
        OR R
        END
    - - SELECT P OP1
        WHEN Q OP2
        ELSE OP_DEFAULT
        END
    - - PRE P THEN OP END
    - - LET v BE v = E IN S END