aqua-verifier-rs-types

Types for the rust implementation of the aqua-verifier.

Design.

The idea is to make the aqua protocol implmentation logic modular and extensible,this types are used in the verifier-rs , the aqua container, aqua-cli and aqua guardian.