Module `CConstants.Prefix`

val gvar : string

val uvar : string

val lvar : string

val then_lab : string

val else_lab : string

val endif_lab : string

val endswitch_lab : string

val end_block_lab : string

val loop_lab : string

val user_lab : string

val default_lab : string

val switch_lab : string

val case_lab : string

val loc : string

val internal_preds : string

val generated_preds : string

val lloc : string