Module PatternSource

Sourcetype pattern = Ppxlib.pattern
Sourceand expression = Ppxlib.expression
Sourceand mismatch = {
  1. ident : string;
  2. expected : pattern;
  3. got : expression option;
}
Sourceand failure = {
  1. common : pattern;
  2. mismatches : mismatch list;
}
Sourcetype 'a pattern_result = ('a, failure) result
Sourcetype ('a, 'b) matcher = ?quoted:Ppxlib.expression -> 'a -> 'b pattern_result
Sourceval check : ('a -> Ppxlib.expression) -> 'a -> ('a, 'b) matcher -> 'b pattern_result
Sourceval format_failure : Format.formatter -> failure -> unit
Sourceval elim_type_constraints : Ppxlib.expression -> Ppxlib.expression
Sourceval pp_failure : Format.formatter -> failure -> unit
Sourceval pp_pattern_result : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a pattern_result -> unit