path: root/src/Driver/Driver.ml

open Verilog
open Extraction

let _ = print_string (PrettyPrint.prettyprint VerilogAST.verilog_example)