Module Extfun

type ('a, 'b) t
val empty : ('a, 'b) t
val apply : ('a, 'b) t -> 'a -> 'b
exception Failure
val print : ('a, 'b) t -> unit
type (!'a, !'b) matching = {
  1. patt : patt;
  2. has_when : bool;
  3. expr : ('a, 'b) expr;
}
and patt =
  1. | Eapp of patt list
  2. | Eacc of patt list
  3. | Econ of string
  4. | Estr of string
  5. | Eint of string
  6. | Etup of patt list
  7. | Erec of (patt * patt) list
  8. | Evar of unit
and (!'a, !'b) expr = 'a -> 'b option
val extend : ('a, 'b) t -> (patt * bool * ('a, 'b) expr) list -> ('a, 'b) t