| 692 | | VUndef -> return . VV . Val.val $ () |
| 693 | | VBool x -> return . VV . Val.val $ ((cast x) :: Val.PureBit) |
| 694 | | VInt x -> return . VV . Val.val $ ((cast x) :: Val.PureInt) |
| 695 | | VNum x -> return . VV . Val.val $ ((cast x) :: Val.PureNum) |
| 696 | | VRat x -> return . VV . Val.val $ ((cast x) :: Val.PureNum) |
| 697 | | VStr x -> return . VV . Val.val $ ((cast x) :: Val.PureStr) |
| | 692 | VUndef -> return . VV . mkVal $ () |
| | 693 | VBool x -> return . VV . mkVal $ ((cast x) :: Val.PureBit) |
| | 694 | VInt x -> return . VV . mkVal $ ((cast x) :: Val.PureInt) |
| | 695 | VNum x -> return . VV . mkVal $ ((cast x) :: Val.PureNum) |
| | 696 | VRat x -> return . VV . mkVal $ ((cast x) :: Val.PureNum) |
| | 697 | VStr x -> return . VV . mkVal $ ((cast x) :: Val.PureStr) |