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:
(CicNotationPt.cic_appl_pattern * int) list ->
(Cic.annterm -> ((string * Cic.annterm) list * int) option)
end
+