Source file priorityManager.ml

(* This filecontains the global views of priorities *)

let move_cursor = -8
let feedback = -7
let lsp_message = -6
let launch_parsing = -5
let parsing = -4
let interp_to = -3
let execution = -2
let proof_view = -1