let
subst_any env s =
MetaPath
.subst env (
MetaPath
.mk (
true
, s))