Module type Memo.Tabulate.S

module type S = sig .. end

type dom 

type cod 

val update : dom -> cod -> unit

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

val call_direct : dom -> cod