Module type Memo.Tabulate.RecFun

module type RecFun = sig .. end

type dom 

type cod 

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

val hash : dom -> int

val join : cod ->
       cod -> cod

val bottom : cod

val dom_equal : dom -> dom -> bool

val cod_equal : cod -> cod -> bool