tests/lean/strictImplicit.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            g {α : Type} (a : α) : α

            
            f ⦃α : Type⦄ (a : α) : α

            
            g 1 : Nat

            
            f 1 : Nat
	g {α : Type} (a : α) : α
	f ⦃α : Type⦄ (a : α) : α
	g 1 : Nat
	f 1 : Nat