Hmac.ipad: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac.bend as Hmac
Lines 17-19 of bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/hmac.bend&start_line=17&end_line=19

import Base

# RFC 2104: ipad = the byte 0x36 repeated B times, opad = 0x5C repeated B times.
def ipad() -> U32:
  54

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32