package zelus

  1. Overview
  2. Docs
val lift : (Ztypes.cstate -> (Ztypes.time * 'a, 'b) Ztypes.node) -> ('c, 'd) Ztypes.hsnode