from pymich.michelson_types import Nat, Address, Mutez, Nat

SENDER = Address("tz1")
address = Address
nat = Nat
AMOUNT = Nat(0)
BALANCE = Mutez(0)


def contract(a: address):
    pass

def transaction(a, b, c):
    pass

def mutez(amount: int):
    pass

def pack(a):
    pass

def blake2b(a):
    pass
