Module ATDGenerated.Sarifbug_t
type region = {
startLine : int;
startColumn : int;
}
type fileloc = {
uri : string;
uriBaseId : string;
}
type message = {
text : string;
}
type trace = {
nestingLevel : int;
location : trace_loc;
}
type threadflow = {
locations : trace list;
}
type fingerprints = {
hashV1 : string;
key : string;
}
type rule = {
id : string;
shortDescription : message;
helpUri : string;
}