Module E_ACSL.Local_config

val version : string