Functor Memo.Tabulate.MakeRec

module MakeRec: 
functor (F : RecFun) -> 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