Module `Lib.Names`

File names.

val contract_gen_file : string

Contract generation.

Contract name for contract generation.

val contract_name : string list -> string

Contract name for contract generation.

Invariant logging.

val inv_log_file : string

Invariant logging.

Contract name for invariant logging.

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