lib/expression/repr.mli


1
2
3
4
5
6

val repr : ?top:bool -> ('a -> string) -> 'a T.t -> string

module E :
  Sym.SYM_EXPR
    with type 'a obs = top:bool -> string
     and type 'a path_repr = 'a -> string