sig
type
t =
Catch
|
Filter
end