UniqueLogic.ST.TF.System.Simple

Preparation

type Variable s a

globalVariable

Posing statements

type T

localVariable

constant

assignment2

assignment3

data Apply w s a

arg

runApply

Solution

solve

query