2
Yuvalanmış bileşenler içeren endüktif tip üzerinde özyinelemeli tanımlar
Yuvalanmış, ancak kesinlikle olumlu bir yerde bazı yinelemeli olaylara sahip bir endüktif türü düşünün. Örneğin, çocukları depolamak için genel liste veri yapısı kullanan düğümlerle sonlu dallara sahip ağaçlar. Inductive LTree : Set := Node : list LTree -> LTree. Ağaçlar ve ağaç listeleri üzerinde tekrarlayarak bu ağaçlar üzerinde özyinelemeli bir …