MIR: Operations on data structures

• CONCAT: string : string : A — string : A @Martoon
• CONCAT: list string : A — string : A @Martoon
• CONCAT: bytes : bytes : A — bytes : A @Martoon
• CONCAT: list bytes : A — bytes : A @Martoon
• EMPTY_MAP kty vty: A — map kty vty : A @Martoon
• GET n: ty : A — ty : A !11275 (merged)
• GET n: pair ty1 ty2 : A — ty1 : A !11275 (merged)
• GET n: pair ty1 ty2 : A — ty : A !11275 (merged)
• GET_AND_UPDATE: kty : option vty : map kty vty : A — option vty : map kty vty : A !11275 (merged)
• LEFT ty2: ty1 : A — or ty1 ty2 : A @diogo.castro
• MAP instr: list ty : A — list ty2 : A @diogo.castro
• MAP instr: option ty : A — option ty2 : A @diogo.castro
• MAP instr: map kty ty1 : A — map kty ty2 : A @diogo.castro
• MEM: kty : map kty vty : A — bool : A @Martoon
• NEVER: never : A — B @Martoon
• NONE ty: A — option ty : A @diogo.castro
• PAIR n: ty1 : .... : tyN : A — pair ty1 .... tyN : A !11275 (merged)
• RIGHT ty1: ty2 : A — or ty1 ty2 : A @diogo.castro
• SIZE: map kty vty : A — nat : A @Martoon
• SIZE: list ty : A — nat : A @Martoon
• SIZE: string : A — nat : A @Martoon
• SIZE: bytes : A — nat : A @Martoon
• SLICE: nat : nat : string : A — option string : A @diogo.castro
• SLICE: nat : nat : bytes : A — option bytes : A @diogo.castro
• UNPACK ty: bytes : A — option ty : A !11260 (merged)
• UNPAIR n: pair ty1 .... tyN : A — ty1 : .... : tyN : A !11275 (merged)
• UPDATE n: ty1 : ty2 : A — ty1 : A !11275 (merged)
• UPDATE n: ty : pair ty1 ty2 : A — pair ty ty2 : A !11275 (merged)
• UPDATE n: ty : pair ty1 ty2 : A — pair ty1 ty' : A !11275 (merged)

Sets

@Martoon

• EMPTY_SET cty: A — set cty : A
• ITER instr: set cty : A — A
• MEM: cty : set cty : A — bool : A
• SIZE: set cty : A — nat : A
• UPDATE: cty : bool : set cty : A — set cty : A

Big maps

@lierdakil (!11314 (merged))

• EMPTY_BIG_MAP kty vty: A — big_map kty vty : A
• GET: kty : big_map kty vty : A — option vty : A
• GET_AND_UPDATE: kty : option vty : big_map kty vty : A — option vty : big_map kty vty : A
• MEM: kty : big_map kty vty : A — bool : A
• UPDATE: kty : option vty : big_map kty vty : A — big_map kty vty : A