Module type Memo.S

The output signature of the functors Mk, Make, MakeWeak and Fake.

type t
val memo : ((t -> 'a) -> t -> 'a) -> t -> 'a