Module Resource.MetaPath


module MetaPath: sig .. end

type t = atoms list 
type env = (string * string) list 
val mk : bool * string -> atoms list
val mk : bool * string -> atoms list
val matchit : atoms list -> string -> (string * string) list option
val print_env : Format.formatter -> (string * string) list -> unit
val subst : (string * string) list -> atoms list -> string