Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
cogent
/
examples
/
swap-drop
/
SwapDrop.cogent
blob: 37c610cf0207d453b7ce6439642264861ba919ba [
file
] [
log
] [
blame
] [
edit
]
type A
type B
swapDrop
:
all
(
a
,
b
,
c
:<
DS
).
(
a
,
b
,
c
)
->
(
b
,
a
)
swapDrop
(
a
,
b
,
c
)
=
(
b
,
a
)
