hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE
val of_signal : t -> t
val to_signal : t -> t
val (+:) : t -> t -> t
val (-:) : t -> t -> t
val (*:) : t -> t -> t
val (<:) : t -> t -> t
val (>:) : t -> t -> t
val (<=:) : t -> t -> t
val (>=:) : t -> t -> t
val (==:) : t -> t -> t
val (<>:) : t -> t -> t
val resize : t -> Base.int -> t