val headers_of_expression :
  Buffer.t -> ('a -> Buffer.t -> unit) -> 'a T.t -> unit

module E :
  Sym.SYM_EXPR
    with type 'a obs = buffer:Buffer.t -> unit
     and type 'a path_repr = 'a -> Buffer.t -> unit