事例：演算 :->

VDM++ での演算 :-> に準拠した事例（VDM_Map.rngBy）を紹介します。

    m = VDM_Map({"A":1,"B":2})

    s = VDM_Set([1,3])

    print ">>> %s :-> %s"%(m,s)

    X = m.rngBy(s)

    print X; assert X == VDM_Map({"B":2})

写像 m の値域から集合 s の要素を削除した写像を得るには、メソッド rngBy を利用します。このコードを実行すると、

>>> {'A' |-> 1, 'B' |-> 2} :-> {1, 3}

{'B' |-> 2}

値域から削除した写像は {'B' |-> 2} になります。