O (vz.Evidence.O)

val v : ('o, 'a) Var.t -> 'o -> 'a

v var is Var.proj var.

val c : 'a -> 'o -> 'a

c is Fun.const

val is_nan : ('o -> float) -> 'o -> bool

val between : ('o -> 'a) -> ('o -> 'a) -> ('o, 'a) Var.t -> 'o -> bool

val (=) : ('o -> 'a) -> ('o -> 'a) -> 'o -> bool

val (<>) : ('o -> 'a) -> ('o -> 'a) -> 'o -> bool

val (<) : ('o -> 'a) -> ('o -> 'a) -> 'o -> bool

val (>) : ('o -> 'a) -> ('o -> 'a) -> 'o -> bool

val (<=) : ('o -> 'a) -> ('o -> 'a) -> 'o -> bool

val (>=) : ('o -> 'a) -> ('o -> 'a) -> 'o -> bool

val (||) : ('o -> bool) -> ('o -> bool) -> 'o -> bool

val (&&) : ('o -> bool) -> ('o -> bool) -> 'o -> bool

val (+) : ('o -> int) -> ('o -> int) -> 'o -> int

val (-) : ('o -> int) -> ('o -> int) -> 'o -> int

val (*) : ('o -> int) -> ('o -> int) -> 'o -> int

val (/) : ('o -> int) -> ('o -> int) -> 'o -> int

val (+.) : ('o -> float) -> ('o -> float) -> 'o -> float

val (-.) : ('o -> float) -> ('o -> float) -> 'o -> float

val (*.) : ('o -> float) -> ('o -> float) -> 'o -> float

val (/.) : ('o -> float) -> ('o -> float) -> 'o -> float