Module Literal.PropSubs


module PropSubs: Substitution.Substituable  with type substituable = t and type term = Proposition.t and type variable = Proposition.t
"Propositional variable Substitution", a module to allow substitution of propositional variables by other propositional variables.

type variable 
The type of variables.
type term 
The type of terms, i.e. of things we want to substitute variables with.
type substituable 
The type of a substituable object, would it be an index, a schema or other.
val substitute : substituable ->
var:variable ->
by:term -> substituable
The substitution function. Substitutes var by by in a substituable data.