def_environment(-Name, -Value) is nondet[private]

True if Name=Value must appear in the environment for building foreign extensions.