import interface PresentationMount;
import interface PresentationState;
interface PresentationStateValues<object Navigation implements PresentationState> id "interface:org.quixos.presentation-state-values" revision "interface:org.quixos.presentation-state-values@1" {
  operation copyValues id "presentation-state-values:copy" : record {target:interface-ref<PresentationState>;mapping:list<record {source:interface-ref<PresentationState>;target:interface-ref<PresentationState>;}>;} -> unit {
    call id "presentation-state-values:copy:call" execution transaction;
  }
}