type precision = {
  full_info: bool;
  token_info: bool;
  type_info: bool;
}
let default_precision = {
  full_info = false;
  token_info = false;
  type_info = false;
}