Oug: Example 1
Code
let y = 1;;
let f x = x + y;;
let g y = f y;;
let (h1,h2) = (g 1, f 2);;
let f x = f 1 + x;;

type t = T1 of int | T2 of float;;
let to_int = function
T1 n -> n + 1
| T2 f -> 1 + int_of_float f
;;

let x = to_int (T2 3.);;
Oug graph

Graph

Debug graph

Debug graph