Module Ft_turing.Pp

val divider : string
val header : Stdlib.Format.formatter -> string -> unit
val pp_transition : Stdlib.Format.formatter -> ((string * string) * (string * string * Lang.direction)) -> unit
val machine : Stdlib.Format.formatter -> (string * string list * 'a * ( string, 'b ) Stdlib.Hashtbl.t * string * string list * ( string * string, string * string * Lang.direction ) Stdlib.Hashtbl.t) -> unit
val pp_tape : Stdlib.Format.formatter -> (string * int) -> unit
val blocked_tape : Stdlib.Format.formatter -> (string * int) -> string -> string -> bool -> string -> unit
val current_tape : Stdlib.Format.formatter -> string -> int -> ((string * string) * (string * string * Lang.direction)) -> bool -> unit