Interface TraceMessage

Event emitted when MiniZinc encounters a call to trace().

interface TraceMessage {
    message: string | any[];
    section: string;
    type: "trace";
}

Properties

message: string | any[]

Trace message (usually a string, but may be an array if the section ends with _json).

section: string

Output section

Message type