Module Piqi_configSource

Sourcemodule U = Piqi_util
Sourceval paths : string list ref
Sourceval add_path : string -> unit
Sourceval piqi_path : string list
Sourceval init_paths : unit -> unit
Sourceval reset_paths : unit -> unit
Sourceval flag_no_builtin_types : bool ref
Sourceval flag_strict : bool ref
Sourceval flag_no_warnings : bool ref
Sourceval debug_level : int ref
Sourceval flag_trace : bool ref
Sourceval init_debug : unit -> unit
Sourceval pp_mode : bool ref
Sourceval extensions : string list ref
Sourceval add_include_extension : string -> unit
Sourceval gen_extended_piqi_any : bool ref
Sourceval piq_frameless_output : bool ref
Sourceval piq_frameless_input : bool ref
Sourceval piq_relaxed_parsing : bool ref