(def
  (ident fn)
  (decl (list) (option))
  (list (raise (option))))