blob: 235a155f35d3c25ceb2800113b99f14377c81a2f (
plain)
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: " ^ (Verilog.value_to_nat (Verilog.VBool Coq_true) |> nat_to_int))
|