Commit e6b5e0c9 authored by Robbert Krebbers's avatar Robbert Krebbers

Add non backtracking `TCIf` type class.

parent 0c5d54ab
Pipeline #6878 passed with stage
in 16 minutes and 19 seconds