Module Build.P


module P: Pdg_parameters

include struct ... end
module BuildAll: False(sig
val option_name : string
val descr : string
end)
module BuildFct: StringSet(sig
val option_name : string
val arg_name : string
val descr : string
end)
module PrintBw: False(sig
val option_name : string
val descr : string
end)
module DotBasename: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)
module DotPostdomBasename: EmptyString(sig
val option_name : string
val arg_name : string
val descr : string
end)