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