summaryrefslogtreecommitdiff
path: root/interfaces/OCaml
ModeNameSize
-rw-r--r--.gitignore531logplain
-rw-r--r--Makefile.am9751logplain
-rw-r--r--OCaml_interface.dox40053logplain
-rw-r--r--README.ocaml2069logplain
-rw-r--r--ppl_interface_generator_ocaml_cc_code.m432422logplain
-rw-r--r--ppl_interface_generator_ocaml_cc_files.m42457logplain
-rw-r--r--ppl_interface_generator_ocaml_hh_code.m42063logplain
-rw-r--r--ppl_interface_generator_ocaml_hh_files.m42351logplain
-rw-r--r--ppl_interface_generator_ocaml_ml.m42219logplain
-rw-r--r--ppl_interface_generator_ocaml_ml_code.m413896logplain
-rw-r--r--ppl_interface_generator_ocaml_mli.m42215logplain
-rw-r--r--ppl_interface_generator_ocaml_mli_code.m410678logplain
-rw-r--r--ppl_interface_generator_ocaml_procedure_generators.m41752logplain
-rw-r--r--ppl_ocaml_common.cc35238logplain
-rw-r--r--ppl_ocaml_common.defs.hh5118logplain
-rw-r--r--ppl_ocaml_common.inlines.hh3764logplain
-rw-r--r--ppl_ocaml_globals.ml8027logplain
-rw-r--r--ppl_ocaml_globals.mli5902logplain
d---------tests304logplain