let
subst env s =
MetaPath
.subst env (
MetaPath
.mk (
false
, s))