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