module D: sig .. end
sig
end
include D_Impl
module Store: Domain_store.Make(siginclude D_Impl val storage : 'a -> boolend)
Domain_store.Make
(
val storage : 'a -> bool
'a -> bool
)