Cryptol.TypeCheck.Solver.Numeric.Fin
cryIsFin
cryIsFinType