elabDecl' what info (PDirective i)
  | what /= EDefns = directiveAction i
elabDecl' what info (PDirective i)
  | what /= EDefns = directiveAction i
elabDecl' what info (PDirective i)
  | what /= EDefns = directiveAction i