Imandra_interactive.Patmatch_canon
module P = Imandra_surface.Term.Syn
type term = Imandra_surface.Term.t
type pattern = Imandra_surface.Term.Syn.pattern
val exact_match : pattern -> Imandra_surface.Term.t -> bool
type canon_rule = {
canon_pat : pattern;
canon_into : Imandra_surface.Term.t;
}