module Wire: sig .. end
val assoc : ('a * ('b -> int)) list -> 'a -> 'b -> int
val tap : (('b * ('a -> int)) list as 'a) -> 'b -> int
val constant : 'a -> 'b -> 'a
val binary_op : (int -> int -> 'a) -> 'b -> 'b -> (('b * ('c -> int)) list as 'c) -> 'a
val plus : 'a -> 'a -> (('a * ('b -> int)) list as 'b) -> int
val minus : 'a -> 'a -> (('a * ('b -> int)) list as 'b) -> int
val times : 'a -> 'a -> (('a * ('b -> int)) list as 'b) -> int
val div : 'a -> 'a -> (('a * ('b -> int)) list as 'b) -> int
val and_ : 'a -> 'a -> (('a * ('b -> int)) list as 'b) -> int
val or_ : 'a -> 'a -> (('a * ('b -> int)) list as 'b) -> int
val not_ : 'a -> (('a * ('b -> int)) list as 'b) -> int