section ‹ Meta-theory for the Standard Core with Overloaded Constructs › theory utp_full imports utp utp_expr_ovld begin end