···1616val pp_expr : expr Fmt.t
1717(** [pp_expr] pretty-prints the simplified expression. *)
18181919-val expr_size : expr -> int
2020-(** [expr_size e] counts the number of nodes in the simplified AST. *)
2121-2219val sub_hashes : min_size:int -> expr -> (string * int) list
2320(** [sub_hashes ~min_size e] walks the tree and returns [(hash, size)] pairs for
2421 every sub-expression whose size is at least [min_size]. *)