sig
  type t
  val pp : Format.formatter -> BigO.t -> unit
  val of_term : 'Syntax.context -> 'Syntax.term -> BigO.t
end