Cryptol.TypeCheck.Solver.Numeric.Fin

cryIsFin

cryIsFinType