// package: amino
// file: amino/amino.proto