Package hardcaml_of_verilog