ludic/examples/rejected/friend_scope.ludic

# L3: a friend of kit is not a friend of bank - bank's private `add` stays out of reach
import "private_bank"
import "private_kit"
program FriendScope {
  friend module lab of kit
  entry (bank_st: mut BankState) {
    add(bank_st, 5)
    print(total(bank_st))
  }
}