module MetaPath:sig..end
typet =atoms list
typeenv =(string * string) list
val mk : bool * string -> atoms listval mk : bool * string -> atoms listval matchit : atoms list -> string -> (string * string) list optionval print_env : Format.formatter -> (string * string) list -> unitval subst : (string * string) list -> atoms list -> string