Object example

object foo = {
    relation bit
    init ~bit
    action flip = {
        bit := ~bit
    }
}