sig
  type lucky_process = int
  type step_mode = StepInside | StepEdges | StepVertices
  exception MakeError
  val make : string -> string -> Luc4c.lucky_process
  val kill_lucky_process : Luc4c.lucky_process -> unit
  val set_input_bool : Luc4c.lucky_process -> string -> bool -> unit
  val set_input_int : Luc4c.lucky_process -> string -> int -> unit
  val set_input_float : Luc4c.lucky_process -> string -> float -> unit
  val step : Luc4c.lucky_process -> Luc4c.step_mode -> unit
  val get_output_bool : Luc4c.lucky_process -> string -> bool
  val get_output_int : Luc4c.lucky_process -> string -> int
  val get_output_float : Luc4c.lucky_process -> string -> float
  val set_efficient_mode : unit -> unit
  val set_fair_mode : unit -> unit
  val set_seed : int -> unit
  val set_precision : int -> unit
  val set_verbose : Luc4c.lucky_process -> int -> unit
end