include "primitives.alh"

Class String {}
Class Boolean {}
Class Float {}

Class Time {
    current_time : Float
}

Class State {
    name = "State"
    name : String
    current : Boolean
    initial : Boolean
}

Association Transition (State, State) {
    trigger? : String {}
    raise? : String {}
}