let
typ = filter (
fun
_ e
->
match
e
with
Type
_
->
true
|
_
->
false
)