sig val default_prover : Assertions.prover val verbose : int Pervasives.ref val args : (Arg.key * Arg.spec * Arg.doc) list end