SeqLikeApply

Utils

SeqLikeClass

Utils

SeqLikeContains

Utils

StringMultiplicationByNonPositive

hairyfotr

SuspiciousMatches

hairyfotr

SuspiciousPow

hairyfotr

seqMemberType

Utils

seqType

ContainsTypeMismatch

sortFunc

UseMinOrMaxNotSort

staticSelect

Utils

stmtNegated

UseExistsNotFilterIsEmpty

structure

InvariantReturn