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