Module Patternsig.LANG

type tag =
  1. | Ttuple of int
  2. | Tconst of Deftypes.immediate
  3. | Tconstr of string * int * (string * int) list
  4. | Trecord of string list
val compare : 'a -> 'a -> int
val pdescs : Zelus.pattern list -> Zelus.pdesc list
val arity : tag -> int
val extract_tags : tag list -> string list
val is_complete : tag list -> bool
val fix : ('a -> 'a) -> 'a -> 'a
val not_in : tag list -> tag
type pattern_ast = Zelus.pattern