Source file priorityManager.ml

(* This filecontains the global views of priorities *)

let lsp_message = -3
let feedback = -4
let execution = -3
let proof_view = -2
let move_cursor = -5