Frama-C API - `Dkey`

val prepare : category

val logic_normalizer : category

val bound_variables : category

val inductive : category

val interval : category

val mtracking : category

val typing : category

val labels : category

val translation : category

val env : category

val interlang_translation : category

val interlang_not_covered : category

val interlang_print_opt : category