module Uid : sig ... end
include Base.Comparable.S with type t := t
include Base.Comparisons.S with type t := t
compare t1 t2 returns 0 if
t1 is equal to
t2, a negative integer if
t1 is less than
t2, and a positive integer if
t1 is greater than
ascending is identical to
descending x y = ascending y x. These are intended to be mnemonic when used like
List.sort ~compare:ascending and
~cmp:descending, since they cause the list to be sorted in ascending or descending order, respectively.
clamp_exn t ~min ~max returns
t', the closest value to
t such that
between t' ~low:min ~high:max is true.
not (min <= max).
val vdd : t
val gnd : t
cofactor ~var p ~f computes the cofactor of
f wrt to
p=vdd for positive cofactor and
p=gnd for negative cofactor
Visit all nodes in the list of functions and call
f. Nodes are visited once only.