Interface TraceMessage

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

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

Index

Properties

message section type

Properties

message

message: string | any[]

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

section

section: string

Output section

type

type: "trace"

Message type