(** Some utilities *)

(** Basename for state variables (introduced when using state-error monads) *)
let state_basename = "st"

(** 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"