Define a primitive data type: Difference between revisions

m
Line 1,484:
 
let op f a b =
let res = f a.value b.value in
if a.bounds <> b.bounds then
invalid_arg "different bounds";
let res = f a.value b.value in
check_bounds res a.bounds;
(mk_bounded res a.bounds)