let def   = filter (fun _ e -> match e with Def _ -> true | _ -> false)