Scheme_step
type step = {
before : string;
redex : int * int;
after : string;
contractum : int * int;
}
val steps : ?max:int -> string -> step list * string option