diff options
Diffstat (limited to 'src/Experiments/SimplyTypedArithmetic.v')
| -rw-r--r-- | src/Experiments/SimplyTypedArithmetic.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Experiments/SimplyTypedArithmetic.v b/src/Experiments/SimplyTypedArithmetic.v index 2bd202904..b9f57ce1b 100644 --- a/src/Experiments/SimplyTypedArithmetic.v +++ b/src/Experiments/SimplyTypedArithmetic.v @@ -7522,7 +7522,9 @@ fun var : type -> Type => :: ((uint64)(x4) & 2251799813685247) :: [])%expr : Expr (type.uncurry - (type.list (type.type_primitive type.Z) -> type.list (type.type_primitive type.Z) -> type.list (type.type_primitive type.Z))) + (type.list (type.type_primitive type.Z) -> + type.list (type.type_primitive type.Z) -> + type.list (type.type_primitive type.Z))) *) Print base_51_sub. (* |