Key_value_database.Intf
module type S = sig ... end
module type Ident = S with module M := Monad.Ident
module type Mock = sig ... end