Module `Comb.Sop`

Signed operations compatible with type t

type t
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 -> Hardcaml__.Import.int -> v