Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/std-lib/camlp4/Camlp4_config.cmi_pretty GODI Package godi-ocaml
Library camlp4
 
   Camlp4_config.cmi_pretty    Sources  
val version : string
val ocaml_standard_library : string
val camlp4_standard_library : string
val ocaml_ast_impl_magic_number : string
val ocaml_ast_intf_magic_number : string
val camlp4_ast_impl_magic_number : string
val camlp4_ast_intf_magic_number : string
val program_name : string ref
val unsafe : bool ref
val verbose : bool ref
val quotations : bool ref
val antiquotations : bool ref
val constructors_arity : bool ref
val inter_phrases : string option ref
val current_input_file : string ref
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml