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: