sig
val check_props :
Assertions.prover ->
Genarith.abstraction ->
string list * Misc.StringSet.t * Exp.IdSet.t *
(string, Tycheck.protocol_item) Hashtbl.t *
(string, Tycheck.escrow_item) Hashtbl.t *
(string, Commands.fun_info) Hashtbl.t *
(Misc.component, Assertions.act list * Assertions.act list) Hashtbl.t *
(Misc.component * Commands.res_init) list *
(string * Commands.can_entailment) list -> bool
val verbose : int Pervasives.ref
val infer : int Pervasives.ref
val args : (Arg.key * Arg.spec * Arg.doc) list
end