Searched refs:guardedness (Results 1 – 25 of 66) sorted by relevance
123
1 {-# OPTIONS --without-K --rewriting --no-sized-types --no-guardedness
1 {-# OPTIONS --with-K --safe --no-sized-types --no-guardedness
2 --no-sized-types --no-guardedness --no-subtyping #-}
1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness
2 --guardedness --no-subtyping #-}
1 {-# OPTIONS --no-sized-types --no-guardedness --no-subtyping #-}
2 --no-guardedness --no-subtyping #-}
1 {-# OPTIONS --without-K --safe --no-sized-types --no-guardedness --no-subtyping #-}
1 {-# OPTIONS --cubical --safe --no-sized-types --no-guardedness