Module type CfgProof.Description


module type Description = sig .. end

val shared : string
Shared resource basename for the model
val context : string
Basename for environment files ; unique per updater
val updater : string
Unique name for the internal updater
val name : string
Public name for user feedback