#root::derive
IfConst root/derive.vi:152
trait IfConst[I, T, F];
condition root/derive.vi:153
const IfConst::condition[I, T, F; IfConst[I, T, F]]: Bool;