Define a primitive data type: Difference between revisions
Content added Content deleted
(OCaml) |
|||
Line 289: | Line 289: | ||
# let a = mk_bounded 2.2 rf |
# let a = mk_bounded 2.2 rf |
||
and b = mk_bounded 5.4 rf |
and b = mk_bounded 5.4 rf in |
||
⚫ | |||
val a : float bounded = {value = 2.2; bounds = {min = 1.; max = 10.}} |
|||
val b : float bounded = {value = 5.4; bounds = {min = 1.; max = 10.}} |
|||
⚫ | |||
- : float bounded = |
- : float bounded = |
||
{value = 7.6; bounds = {min = 1.; max = 10.}} |
{value = 7.6; bounds = {min = 1.; max = 10.}} |