Filter (transformers.States.Filter)

type filter_mode =

module type FilterVals = sig ... end

module Make
  (Filter : FilterVals)
  (S : MyMonadicSMemory.S) : 
  MyMonadicSMemory.S with type t = S.t