effect Equation
    "equation"
    "org.simantics.scl.runtime.equations.EquationContext"

importJava "org.simantics.scl.runtime.equations.EquationContext" where
    data EquationContext

    listenEquationVariable :: String -> (a -> <Equation,Proc> ()) -> <Equation,Proc> ()
    setEquationVariable :: String -> a -> <Equation> ()
    applyEquationContext :: (<Equation,Proc> a) -> EquationContext -> <Proc> a 
    
importJava "org.simantics.scl.runtime.equations.TestEquationContext" where
    solveEquations :: (<Equation,e> a) -> <e> [(String,String)]