Module Prop.Inttbl

module Inttbl: sig  end