class type config_file = object
.. end
method filename : string
method tree : config_tree
method root_addr : address
method root_name : string
method resolve_section : address -> string -> address list
method resolve_parameter : address -> string -> address
method print : address -> string
method string_param : address -> string
method int_param : address -> int
method float_param : address -> float
method bool_param : address -> bool
method restrict_subsections : address -> string list -> unit
method restrict_parameters : address -> string list -> unit