Swish.VarBinding

data VarBinding a b

nullVarBinding

boundVars

subBinding

makeVarBinding

applyVarBinding

joinVarBindings

addVarBinding

data VarBindingModify a b

type OpenVarBindingModify lb vn

openVbmName

vbmCompatibility

vbmCompose

composeSequence

findCompositions

findComposition

data VarBindingFilter a b

makeVarFilterModify

makeVarTestFilter

makeVarCompareFilter

varBindingId

nullVarBindingModify

varFilterDisjunction

varFilterConjunction

varFilterEQ

varFilterNE