public static void FromMap(Dafny.Map <K, V> m, out MutableMap <K, V> new_m)
{
new_m = new MutableMap <K, V>();
foreach (var key in m.Domain)
{
new_m.mapImpl.Add(key, m.Select(key));
}
}
public static bool QuantMap <U, V>(Dafny.Map <U, V> map, bool frall, System.Predicate <U> pred)
{
foreach (var u in map.Domain)
{
if (pred(u) != frall)
{
return(!frall);
}
}
return(frall);
}
