Module Lib.Names

module Names: sig .. end
File names.

val contract_gen_file : string
Contract generation.

Contract name for contract generation.

val contract_name : string list -> string
Invariant logging.
val inv_log_file : string
Contract name for invariant logging.
val inv_log_contract_name : string list -> string