     "extract"
     "extract_type"
     "finalconsts"
-    "fixpat"
     "fixrec"
     "fun"
     "hide_class"

    "find_consts"
    "find_theorems"
    "fix"
    "fixpat"
    "fixrec"
    "from"
    "full_prf"

    "overloading"
    "parse_ast_translation"
    "parse_translation"
    "partial_function"
    "pcpodef"
    "pr"
    "prefer"
