module Make : functor (S : Compute_ranges_intf.S_functor) -> Compute_ranges_intf.S with module Index := S.Index with module Key := S.Key with module Subrange_state := S.Subrange_state with module Subrange_info := S.Subrange_info with module Range_info := S.Range_info