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
end
)
module Enabled: Self.Action
(
sig
end
)
module Emitter: Self.False
(
sig
end
)
module Pending: Self.False
(
sig
end
)
module OnlyValid: Self.False
(
sig
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