Module Program_spec.Estimates

type estimate =
  1. | Int of int
  2. | Symbolic of Tolk_uop.Uop.t
type t = {
  1. ops : estimate;
  2. lds : estimate;
  3. mem : estimate;
}
val zero : t

zero is {ops = Int 0; lds = Int 0; mem = Int 0}.

val (+) : t -> t -> t

a + b is the component-wise sum of a and b.

val of_uop : Tolk_uop.Uop.estimates -> t

of_uop e converts a uop estimates record.

val of_program : program -> t

of_program p computes estimates by walking p.