idris-1.3.3: test/interactive015/expected.out

test (Just x) = ?Nothing_rhs_1

test : Maybe a -> Bool
test Nothing = False
test (Just x) = ?Nothing_rhs_1