Commit 14645424 authored by MARCHE Claude's avatar MARCHE Claude

fix typo

parent 700b3079
......@@ -125,7 +125,7 @@ module Unsigned
val mul_with_carry (x y:t) : (t,t)
returns { (r,d) ->
to_int r + (max+1) * to_int d =
to_int x * to_int y + to_int c }
to_int x * to_int y }
val fused_mul_add (x y:t) (c:t) : (t,t)
returns { (r,d) ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment