val mutable interp_db = None (* mutable only to initialize it :-( *)
method interp_db = match interp_db with None -> assert false | Some x -> x
method set_interp_db v = {< interp_db = Some v >}
val mutable interp_db = None (* mutable only to initialize it :-( *)
method interp_db = match interp_db with None -> assert false | Some x -> x
method set_interp_db v = {< interp_db = Some v >}