let make ?(trace=false) ?(size=default_size) () : ('a,'b) t = new memo ~trace ~size ()