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