module Pattern:sig
..end
Patterns comprise a list of terms. The list should be
non-empty. If the list comprises of more than one term, it is
also called a multi-pattern.
type
pattern =
| |
Pattern of |
val ast_of_pattern : pattern -> AST.ast
val pattern_of_ast : AST.ast -> pattern
val get_num_terms : pattern -> int
val get_terms : pattern -> Expr.expr list
val to_string : pattern -> string