Module BigO

module BigO: sig .. end

Simplification for Big-O expressions.

type t

val pp : Format.formatter -> t -> unit

val of_term : 'a Syntax.context -> 'a Syntax.term -> t