module Context: Build(Inout_type.Datatype)
Build
(
Inout_type.Datatype
)
include struct ... end
val memo : (key -> data) -> key -> data
(key -> data) -> key -> data