module TermPolynomial:sig..end
type 'a polynomial_context
type 'a t
val mk_context : 'a Syntax.context -> 'a polynomial_context
val of_term : 'a polynomial_context ->
'a Syntax.term -> 'a t
val term_of : 'a polynomial_context ->
'a t -> 'a Syntax.term