TaglessFinal.Pattern
This module provides a type that represents a pattern for a given match
branch. See PEP 622.
type ('constant, 'expr, 'identifier, 'location, 'pattern) t = private {
}
val make :
match_value:( location:'a -> value:'b -> 'c ) ->
match_singleton:( location:'a -> value:'d -> 'c ) ->
match_sequence:( location:'a -> patterns:'c list -> 'c ) ->
match_mapping:
( location:'a -> keys:'b list -> patterns:'c list -> rest:'e option -> 'c ) ->
match_class:
( location:'a ->
cls:'b ->
patterns:'c list ->
kwd_attrs:'e list ->
kwd_patterns:'c list ->
'c ) ->
match_star:( location:'a -> name:'e option -> 'c ) ->
match_as:( location:'a -> pattern:'c option -> name:'e option -> 'c ) ->
match_or:( location:'a -> patterns:'c list -> 'c ) ->
unit ->
( 'd, 'b, 'e, 'a, 'c ) t
Constructor of t
.