UniqueLogic.ST.TF.System.Label

Preparation

type Variable w

globalVariable

Posing statements

type T w

localVariable

constant

assignment2

assignment3

data Apply w s a

arg

runApply

Solution

solve

query