sig
  val make :
    int -> bool -> string -> int -> int -> string list -> Luc4ocaml.state
  val step :
    Luc4ocaml.step_mode ->
    Luc4ocaml.state ->
    Luc4ocaml.inputs -> Luc4ocaml.state * Luc4ocaml.solution
  val step_se :
    Luc4ocaml.step_mode ->
    Luc4ocaml.state Stdlib.ref -> Luc4ocaml.inputs -> Luc4ocaml.solution
end