a form of corecursion in the same way that a paramorphism (such as a catamorphism, such as fold) is a form of recursion.TheCoqproof assistant supports corecursion and coinduction using the CoFixpoint command.
历史.Corecursion, referred to as