Searched refs:cinc (Results 1 – 2 of 2) sorted by relevance
110 cinc = open(_cinc, 'w') variable111 cinc.write(autogen_header("/*", "*/"))119 cinc.write(gen_c(levels))120 cinc.write("\n")126 cinc.close()
549 cinc = open(_cinc, 'w') variable550 cinc.write(autogen_header("/*", "*/"))563 cinc.write(gen_c_val(ty))564 cinc.write("\n")565 cinc.write(gen_Val_ocaml(ty))566 cinc.write("\n")568 cinc.write(gen_c_stub_prototype(ty, functions[ty.rawname]))569 cinc.write("\n")571 cinc.write(gen_c_defaults(ty))572 cinc.write("\n")[all …]
Completed in 4 milliseconds