2018-06-01 12:18:03 +03:00
|
|
|
(deftype (Pair a b) [a a b b])
|
|
|
|
|
|
|
|
|
|
(defmodule Pair
|
|
|
|
|
(defn init-from-refs [r1 r2]
|
|
|
|
|
(Pair.init @r1 @r2))
|
|
|
|
|
|
2018-06-13 13:29:54 +03:00
|
|
|
(defn = [p1 p2]
|
|
|
|
|
(and (= (Pair.a p1) (Pair.a p2))
|
|
|
|
|
(= (Pair.b p1) (Pair.b p2))))
|
2018-06-01 12:18:03 +03:00
|
|
|
|
|
|
|
|
)
|
