module Csv_nonfree: sig
.. end
Registration of non-free options
module CSVFilter: Report_parameters.True
(
sig
val option_name : string
val help : string
end
)
module CSVFile: Report_parameters.String
(
sig
val option_name : string
val arg_name : string
val default : string
val help : string
end
)
val pwd : string
val prefixes : string list
val string_del_prefix : string -> string -> string
val clean_dir : string -> string
val pretty_loc : Format.formatter -> Lexing.position -> unit
val status_kind : Property.t -> string
val (|>) : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
val print_one : Format.formatter -> Property.t -> unit
val filter : Property.t -> bool
val output : string -> unit
Registration of non-free options
val print_csv : CSVFile.t -> unit
val print_csv_once : unit -> unit
val main : unit -> unit