fact: Definition channel_to_log (channel : file_name -> option IOStreamWriter.in_channel) : option (list entry * @data orig_base_params) := match channel Count, channel Log, channel Snapshot with | Some s1, Some s2, Some s3 => match from_channel deserialize s1 with | Some n => match from_channel (list_deserialize_rec _ _ n) s2 with | Some es => match from_channel deserialize s3 with | Some snap => Some (es, snap) | None => None end | None => None end | None => None end | _, _, _ => None end.
imports: Verdi(Verdi) Cheerios(Cheerios)