package catt

  1. Overview
  2. Docs

Source file settings.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
let explicit_substitutions = ref false
let verbosity = ref 0
let use_builtins = ref true
let pretty_printing = ref true
let implicit_suspension = ref true
let debug = ref true
let keep_going = ref false
let print_explicit_substitutions = ref false
let unroll_coherences = ref false
let postprocess = ref false

let reset () =
  explicit_substitutions := false;
  verbosity := 0;
  use_builtins := true;
  pretty_printing := true;
  implicit_suspension := true;
  debug := false;
  print_explicit_substitutions := false;
  unroll_coherences := false;
  postprocess := false