module Make: Build(Locations.Zone.Datatype)
Build
(
Locations.Zone.Datatype
)
include struct ... end
val memo : (key -> data) -> key -> data
(key -> data) -> key -> data