(motive : Unit × Std.HashMap Lean.Syntax.Range Lean.Syntax → Sort u_1) →
  (__discr : Unit × Std.HashMap Lean.Syntax.Range Lean.Syntax) →
    ((fst : Unit) → (map : Std.HashMap Lean.Syntax.Range Lean.Syntax) → motive (fst, map)) → motive __discr