def do_commit(ctx: Context, prim, args, annots):
debug, ctx.debug = ctx.debug, False
output = ctx.pop1()
assert_stack_type(output, Pair)
operations = output.get_element(0)
assert_stack_type(operations, List)
assert operations.val_type() == Operation, f'expected list of operations'
s_type_expr = ctx.get('storage')
assert s_type_expr, f'storage type is not initialized'
storage = output.get_element(1)
assert_expr_equal(s_type_expr, storage.type_expr)
storage, big_map_diff = ctx.big_maps.diff(storage)
ctx.big_maps.commit(big_map_diff)
res = Pair.new(operations, storage)
ctx.push(res)
ctx.debug = debug
return {'kind': 'output',
'operations': operations,
'storage': storage,
'big_map_diff': big_map_diff}
def do_debug(ctx: Context, prim, args, annots):
ctx.debug = get_bool(args[0])