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