sig val memo : Functionwise.Tbl.key -> Functionwise.Tbl.data val get : Functionwise.Tbl.key -> 'a -> Functionwise.Tbl.data end