sig
val compiler:
(P.pattern_t * int) list ->
- ((P.pattern_t list * int) list -> P.term_t list -> 'a) ->
- (unit -> 'a) ->
- (P.term_t -> 'a)
+ ((P.pattern_t list * int) list -> P.term_t list -> 'a option) ->
+ (unit -> 'a option) ->
+ (P.term_t -> 'a option)
end
module Matcher21: