import interface PresentationMount;
import interface PresentationState;
interface PresentationStateFactory<object Navigation implements PresentationState> id "interface:org.quixos.presentation-state-factory" revision "interface:org.quixos.presentation-state-factory@1" {
  operation create id "state-factory:create" : record {occurrence:string;} -> ref<Navigation> {
    call id "state-factory:create:call" execution transaction;
  }
}