val internal_m : string

val variable_domains_declaration : string

val rule_domains_declaration : string

val verif_domains_declaration : string

val declarations : string

val string_to_rule_domain_id : string -> string list
