sig val inv : string list -> string val is_stable : string -> string val update_fnc : string -> unit val show_stable : unit -> unit end