     "coinductive"
     "coinductive_set"
     "consts"
-    "consts_code"
     "context"
     "datatype"
     "declaration"

    "checking"
    "congs"
    "constrains"
    "contains"
    "datatypes"
    "defines"
    "file"

    "code_datatype"
    "code_include"
    "code_instance"
    "code_modulename"
    "code_monad"
    "code_reflect"
