blob: b07950f45dc3594a2dff70b7c9e126304c9f57d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(** 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"
|
