minitt
macro_rules! tce_unreachable { () => { ... }; }
Records the source code location that the error occurs, just like Agda.Util.Impossible
Agda.Util.Impossible