Add function "finOfNat" to SAWCore prelude, with evaluator support
Add function "finOfNat" to SAWCore prelude, with evaluator support

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script