sig type dom type cod val update : Memo.Tabulate.S.dom -> Memo.Tabulate.S.cod -> unit val call : Memo.Tabulate.S.dom -> (Memo.Tabulate.S.cod -> unit) -> unit val call_direct : Memo.Tabulate.S.dom -> Memo.Tabulate.S.cod end