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
