Skip to content

Add `TCSimpl` type class.

Robbert Krebbers requested to merge robbert/tcsimpl into master

See comment and test case for usage.

Merge request reports