@type t() :: %Wyvern.Value.BlockAddress{
  function: GlobalRef.t(),
  label: Label.t(),
  type: Wyvern.Type.t()
}