Arrow7000

import Std.Data.HashMap
import Std.Data.HashSet
import Mathlib
open Std



instance {k} [BEq k] [Hashable k] : Hashable (HashSet k) where
  hash := hash ∘ HashSet.toArray

Arrow7000

def BoundedNat (min max : Nat) : Type :=
  {n : Nat // min ≤ n ∧ n ≤ max}

def BoundedNat.mk {min max : Nat} (n : Nat) (h : min ≤ n ∧ n ≤ max) : BoundedNat min max :=
  ⟨n, h⟩

def BoundedNat.val {min max : Nat} (n : BoundedNat min max) : Nat :=
  n.1

Arrow7000

[branch]
	autoSetupRebase = always
[merge]
	defaultToUpstream = true
	log = true
[pull]
	rebase = true
[push]
	default = upstream
	autoSetupRemote = true