package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 -> 'b) -> 'c -> 'd
val not_in : tag list -> tag
type pattern_ast = Zelus.pattern