25.23.4 vm_set_opprint

The pre-defined function vm_set_opprint sets a flag in the underlying VM, indicating whether pretty-printers are used when printing struct values. It has the following prototype:

fun vm_set_opprint = (int<32> pretty_print_p) void: