sig val normalize : string -> string val pretty : string -> string val add_symbolic_dir : string -> string -> unit end