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