sig
  val moca_version_number : float
  val moca_minor_version_number : int
  val moca_full_version : string
  val get_verbose : unit -> bool
  val set_verbose : unit -> unit
  val verbose_printf :
    ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
  val verbose_print : ('a, Format.formatter, unit) Pervasives.format -> 'a
end