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> |
||