(* Validate and record the best results obtained so far *) open Ast val init : character -> unit val record_attempt : character -> unit val get_best_character : unit -> character