tables.ml

   1 (** Global list of tables *)
   2
   3 open Printf
   4
   5 type table = RA.table
   6
   7 let all : table list ref = ref []
   8
   9 (** @raise Error when no such table *)
  10 let get_from tables name =
  11   try
  12     List.find (fun (n,_) -> n = name) tables
  13   with Not_found -> failwith (sprintf "no such table %s" name)
  14
  15 let get name = get_from !all name
  16
  17 let add v = all := v :: !all
  18
  19 let print () = List.iter RA.print_table !all