Type Alias JsonError 

pub type JsonError = SourceError<JsonLanguage>;

Report JSON that does not parse as a model document, before any model check runs.

Aliased Type

pub struct JsonError {
    pub message: String,
    pub span: SourceSpan,
    /* private fields */
}

Fields

message: String

span: SourceSpan