1 2 3 4 5 6 7 8 9
open Verilog open Datatypes let rec nat_to_int = function | O -> 0 | S n -> 1 + nat_to_int n let () = print_endline ("Result: ")