Previous Up Next

3.7  Patterns

pattern::=ident
    | ( pattern )
    | pattern as ident
    | _
    | pattern , pattern { , pattern }
    | ()
    | immediate
    | constructor
    | constructor pattern
    | { label = pattern { ; label = pattern } }
    | clock ident
    | static ident

Patterns allow selecting data structures of a given shape and binding identifiers to components of the data structure. The meaning of pattern is the one given by Objective Caml.


Previous Up Next