import Base
import ./sol.bend as S
import ./sysvar.bend as Sv
import ./token.bend as T
import ./types.bend as Ty

# Hub entry: `bend lib/bendana.bend --publish` ships sol.bend, token.bend, sysvar.bend,
# and types.bend.
def prelude_token_id() -> Ty.Pubkey:
  T.token_id()

def prelude_instructions_id() -> Ty.Pubkey:
  Sv.Instructions.id()

def prelude_u8_zero() -> Bool:
  Ty.u8.is_zero(Ty.u8.from_nat(0n))