sig
  val contract_gen_file : string
  val contract_name : string list -> string
  val inv_log_file : string
  val inv_log_contract_name : string list -> string
end