Type alias FOLDExtended

FOLDExtended: FOLD & FOLDOutOfSpec