51 mod verifier;  module
118     verifier: Verifier,  field
144             verifier::check(prog)?;  in new()
149             verifier: verifier::check,  in new()
178         (self.verifier)(prog)?;  in set_program()
213     pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> {  in set_verifier()
215             verifier(prog)?;  in set_verifier()
217         self.verifier = verifier;  in set_verifier()
712     pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> {  in set_verifier()
713         self.parent.set_verifier(verifier)  in set_verifier()
1153     pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> {  in set_verifier()
1154         self.parent.set_verifier(verifier)  in set_verifier()
1514     pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> {  in set_verifier()
1515         self.parent.set_verifier(verifier)  in set_verifier()
1728     pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> {  in set_verifier()
1729         self.parent.set_verifier(verifier)  in set_verifier()