compiler/ConstStrings.ml


1
2
3
4
5
6
7

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