History.fromLog constructor
History.fromLog(
- Log log
Implementation
factory History.fromLog(Log log) {
switch (log) {
case Result(): return History.fromResult(log);
case Safety(): return History.fromSafety(log);
case History(): return log;
case Panic(): throw log;
}
}