def field_text

import qasim-bend-kit@0.1.0.2/proof/AES_IdentityProof.bend as AESIdentityProof

import Base

70def field_text(index: Nat, parts: List<&2, String>) -> String:
71    optional_text(List.get(&2, String, parts, index))

Uses (5)