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