Functor Memo.Tabulate.Make

module Make: 
functor (F : Fun) -> S  with type dom = F.dom
                             and type cod = F.cod

type dom 

type cod 

val update : dom -> cod -> unit

val call : dom -> (cod -> unit) -> unit

val call_direct : dom -> cod