- : unit = ()
val f : unit -> 'a = <fun>
Line 1, characters 11-15:
1 | let g () = f (); 1;;
               ^^^^
Warning 21 [nonreturning-statement]: this statement never returns (or has an unsound type.)

val g : unit -> int = <fun>
Exception: Not_found.
Raised at f in file "//toplevel//", line 2, characters 11-26
Called from g in file "//toplevel//", line 1, characters 11-15
Called from <unknown> in file "//toplevel//", line 1, characters 0-4
Called from Topeval.load_lambda in file "toplevel/byte/topeval.ml", line 93, characters 4-14