diff options
Diffstat (limited to '')
| -rw-r--r-- | src/SymbolicToPure.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 30142639..345555e7 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -75,6 +75,8 @@ let mk_result_return_rvalue (v : typed_rvalue) : typed_rvalue = in { value; ty } +let mk_result_ty (ty : ty) : ty = Adt (Assumed Result, [ ty ]) + (** Type substitution *) let ty_substitute (tsubst : TypeVarId.id -> ty) (ty : ty) : ty = let obj = |