Interface TraceMessage

Event emitted when MiniZinc encounters a call to 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

type: "trace"

Message type