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
val get_num_terms : pattern -> int
val get_terms : pattern -> Expr.expr list
val to_string : pattern -> string