Immutable1

type t

relation r

function q(X:t) = r

axiom q(Y)


action a = {
    r := true
}