def _lift_struct_defn(location, *args):
assert len(args) > 0
return Struct(attributes=args, location=location)
def _lift_struct_decl(location, id, struct_defn):
return Struct(id, attributes=struct_defn.attributes, location=location)