Module type Memo.Tabulate.Fun

module type Fun = sig .. end

type dom 

type cod 

val f : 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