def get_op_format_from_const_ty(ty): return ty_to_const_class(ty).op_format
def mkconst(self, val, ty): cls = ty_to_const_class(ty) return Const(cls(val))