Module SrkSimplify.TermPolynomial

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