package zelus

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

Innovation. Community. Security.