Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
minigent
/
examples
/
1_poly
/
03-drop
/
in.minigent
blob: b24dccf1141860b155ba7eedc4287b50de32d16e [
file
] [
edit
]
drop
:
[
x
]
Drop
x
.
x
->
Unit
;
drop x
=
Unit
;
test
:
Bool
->
Unit
;
test x
=
drop x
;
badTest
:
[
x
].
x
->
Unit
;
badTest x
=
drop x
;