return to top
source
Convert cases Decidable => Bool
cases
Decidable
Bool
Eliminate cases for Nat.
Nat
Eliminate cases for Int.
Int
Eliminate cases for UInt types.
UInt
Eliminate cases for `Array.
Eliminate cases for `ByteArray.
Eliminate cases for `FloatArray.
Eliminate cases for `String.
Eliminate cases for trivial structure. See hasTrivialStructure?
hasTrivialStructure?