Module Mapper.Idx

module Idx: sig .. end

val map : Mapper.mapper -> Syntax.idx -> Syntax.idx