Module Talk

type status =
  1. | Exited
  2. | Interrupted
type 'a talk =
  1. | Done of 'a
  2. | Print of string * 'a talk
  3. | Read_line of string -> 'a talk
  4. | Read_key of string -> 'a talk
  5. | Random of int * int -> 'a talk
  6. | Spawn of unit talk * status -> 'a talk
  7. | Step of unit -> 'a talk
val print : string -> unit talk
val read_line : string talk
val read_key : string talk
val random : int -> int talk
val return : 'a -> 'a talk
val (let*) : 'a talk -> ('a -> 'b talk) -> 'b talk
val spawn : unit talk -> status talk
val step : unit talk
val ask : string -> string talk
val run : ?seed:int -> 'a talk -> string list -> string
type machine
val start : ?baud:int -> seed:int -> rows:int -> cols:int -> unit talk -> machine
val input : machine -> string -> machine
val tick : machine -> float -> machine
val screen : machine -> Vt.t
val reading : machine -> bool
val finished : machine -> bool