     "nominal_inductive"
     "nominal_inductive2"
     "nominal_primrec"
+    "partial_function"
     "pcpodef"
     "quotient_type"
     "recdef_tc"

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

    "extract"
    "extract_type"
    "finalconsts"
    "fixrec"
    "fun"
    "hide_class"
