package hardcaml_verify

  1. Overview
  2. Docs
type ('i, 'o) t
val inputs : ('i, 'o) t -> 'i
val outputs : ('i, 'o) t -> 'o
OCaml

Innovation. Community. Security.