Module Algebra

module Algebra: sig .. end

type value = int

type variable = string

type expression =

`\|`	`Value of value`
`\|`	`Variable of variable`
`\|`	`Addition of expression * expression`
`\|`	`Multiplication of expression * expression`
`\|`	`Exponentiation of expression * value`

val string_of_expression : expression -> variable

val simplify : expression -> expression

val deriv : variable -> expression -> expression