Module Register


module Register: sig .. end

exception NoMoreValid
exception NotValid
exception FoundOneComplete

type proof = {
   p_emitter : string;
   p_pending : Property.t list;
}
val compare_proof : proof -> proof -> int
module Hip: Property.Hashtbl
val get_proofs : proof list Hip.t -> Hip.key -> proof list
val is_complete : proof list Hip.t ->
Properties_status.Consolidation_tree.t -> bool
module Self: Plugin.Register(sig
val name : string
val shortname : string
val help : string
end)
module Enabled: Self.Action(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module Emitter: Self.False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module Pending: Self.False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module OnlyValid: Self.False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
val txt_unknown : string
val txt_valid : string
val txt_partial : string
val bar : string
val report : partials:int Pervasives.ref ->
completes:int Pervasives.ref ->
untried:int Pervasives.ref ->
proof list Hip.t ->
Format.formatter -> string -> Property.t list -> unit
val print : unit -> unit
val main : unit -> unit