Method Debug.dump_program_tables()

Method dump_program_tables

void dump_program_tables(program p, int(0..)|void indent)

Description

Dumps the internal tables for the program p on stderr.

Parameter p

Program to dump.

Parameter indent

Number of spaces to indent the output.