(** Some utilities *)

(** ADT constructor prefix (used when pretty-printing) *)
let constructor_prefix = "Mk"

(** Basename for error variables *)
let error_basename = "e"

(** Basename for the fuel variable *)
let fuel_basename = "n"
