Mina_incrementalDifferent functor instantiations of Incremental in the Coda repository along with some functions to interface with pipes. Each module instantiation of Incremental should represent a connected component of dependencies. We have this modue to prevent adding dependencies to different functors
module Make (Incremental : Incremental.S) (Name : sig ... end) : sig ... endmodule New_transition : sig ... endmodule Status : sig ... end