test/golden/indefinite-terms/generating tasks.golden


1
2
3
4
5
6
7
8
9
10
11
12
13

[ Task
    { taskDirectness = Direct
    , taskHypotheses = []
    , taskConjectureLabel = Marker "indefinite_test_forall"
    , taskConjecture = PropositionalConstant IsTop
    }
, Task
    { taskDirectness = Direct
    , taskHypotheses = []
    , taskConjectureLabel = Marker "indefinite_test_exists"
    , taskConjecture = PropositionalConstant IsTop
    }
]