Define a primitive data type: Difference between revisions

Content added Content deleted
Line 291: Line 291:
and b = mk_bounded 5.4 rf in
and b = mk_bounded 5.4 rf in
op ( +. ) a b ;;
op ( +. ) a b ;;
- : float bounded =
- : float bounded = {value = 7.6; bounds = {min = 1.; max = 10.}}
{value = 7.6; bounds = {min = 1.; max = 10.}}
</ocaml>
</ocaml>