package hardcaml_verify

  1. Overview
  2. Docs
package hardcaml_verify
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('i, 'o) t
val inputs : ('i, 'o) t -> 'i
val outputs : ('i, 'o) t -> 'o