Module Extfun

module Extfun: sig  end

Extensible functions.

This module implements pattern matching extensible functions. To extend, use syntax pa_extfun.cmo:

extfun e with [ pattern_matching ]

type ('a, 'b) t 

The type of the extensible functions of type 'a -> 'b

val empty : ('a, 'b) t

Empty extensible function

val apply : ('a, 'b) t -> 'a -> 'b

Apply an extensible function

exception Failure

Match failure while applying an extensible function

val print : ('a, 'b) t -> unit

Print patterns in the order they are recorded