path: root/src/ConstStrings.ml

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