package hardcaml_verify

  1. Overview
  2. Docs
type v
val of_signal : t -> v
val to_signal : v -> t
val (+:) : v -> v -> v
val (-:) : v -> v -> v
val (*:) : v -> v -> v
val (<:) : v -> v -> v
val (>:) : v -> v -> v
val (<=:) : v -> v -> v
val (>=:) : v -> v -> v
val (==:) : v -> v -> v
val (<>:) : v -> v -> v
val resize : v -> Base.int -> v
OCaml

Innovation. Community. Security.