def String.instHashableRaw.hash : Pos.Raw → UInt64

@[implicit_reducible]

instance String.instHashableRaw : Hashable Pos.Raw

@[implicit_reducible]

instance String.instHashablePos {s✝ : String} : Hashable s✝.Pos

def String.instHashablePos.hash {s✝ : String} : s✝.Pos → UInt64

def String.instHashablePos_1.hash {s✝ : Slice} : s✝.Pos → UInt64

@[implicit_reducible]

instance String.instHashablePos_1 {s✝ : Slice} : Hashable s✝.Pos