disco> g(T)
Loading disco-live.disco...
Loaded.
7
disco> g(False \/ (True /\ False))
63
disco> 
Loading disco-live.disco...
Warning: the function g is undefined for some inputs. For example:
g(false) = ...
Loaded.
disco> g(T)
7
disco> g(F)
Error: value did not match any of the branches in a case expression.
disco> h(7)
Loading disco-live.disco...
Loaded.
14
disco> h(0)
0
disco> 
Loading disco-live.disco...
Running tests...
  h: OK
Loaded.
disco> 
Loading disco-live.disco...
Running tests...
  h:
  - Certainly false: ∀n. h(n) > n
    Found counterexample:
      n = 0
    - Left side:  0
    - Right side: 0
Loaded.
disco> g(17)
Loading disco-live.disco...
Error: duplicate type signature for g.
https://disco-lang.readthedocs.io/en/latest/reference/dup-sig.html
Error: typechecking failed.
https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html
disco> l(17)
Loading disco-live.disco...
Running tests...
  h: OK
Loaded.
T
disco> l(15)
Loading disco-live.disco...
Running tests...
  h: OK
Loaded.
F
disco> l(17)
Error: value did not match any of the branches in a case expression.
disco> j(5)
Loading disco-live.disco...
Running tests...
  h: OK
Loaded.
17
disco> j(4)
1
disco> :table g
F  63
T   7

disco> :table h
  0   0
  1   2
  2   4
  3   6
  4   8
  5  10
  6  12
  7  14
  8  16
  9  18
 10  20
 11  22
 12  24
 13  26
 14  28
 15  30
 16  32
 17  34
 18  36
 19  38
 20  40
 21  42
 22  44
 23  46
 24  48
...

disco> :table j
  0   5
  1   0
  2  17
  3   7
  4   1
  5  17
  6   9
  7   4
  8  17
  9  11
 10   9
 11  17
 12  13
 13  16
 14  17
 15  15
 16  25
 17  17
 18  17
 19  36
 20  17
 21  19
 22  49
 23  17
 24  21
...

disco> :table l
  0  F
  1  T
  2  T
  3  F
  4  T
  5  T
  6  F
  7  T
  8  T
  9  F
 10  T
 11  T
 12  F
 13  T
 14  T
 15  F
 16  T
 17  T
 18  F
 19  T
 20  T
 21  F
 22  T
 23  T
 24  F
...

disco> 
Loading disco-live.disco...
While checking disco-live.j:
  Error: typechecking failed.
  https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html