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


            
            LE'.refl (n : Nat) : LE' n n

            
            inductive LE' : Nat → Nat → Prop

            
            number of parameters: 1

            
            constructors:

            
            LE'.refl : ∀ (n : Nat), LE' n n
	LE'.refl (n : Nat) : LE' n n
	inductive LE' : Nat → Nat → Prop
	number of parameters: 1
	constructors:
	LE'.refl : ∀ (n : Nat), LE' n n