defined the computation monad for representing non-terminating computations with errors
defined the computation monad for representing non-terminating computations with errors

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