Define a primitive data type: Difference between revisions

Content added Content deleted
(OCaml)
Line 289:
 
# let a = mk_bounded 2.2 rf
and b = mk_bounded 5.4 rf ;;in
# op ( +. ) a b ;;
val a : float bounded = {value = 2.2; bounds = {min = 1.; max = 10.}}
val b : float bounded = {value = 5.4; bounds = {min = 1.; max = 10.}}
 
# op ( +. ) a b ;;
- : float bounded =
{value = 7.6; bounds = {min = 1.; max = 10.}}