sig
  type ('a, 'b, 'c) poly_ds_buf = {
    ds_str : string;
    mutable ds_pos : int;
    ds_end : int;
    ds_universe : 'a;
    ds_environment : 'c;
    ds_dialogs : (int, 'b) Hashtbl.t;
  }
end