Line data    Source code

       1             : // @ts-check
       2             : 
       3             : import Vue from "vue";
       4             : import { mapGetters } from "vuex";
       5             : 
       6             : /**
       7             :  * @typedef {V.Instance<typeof component>} Instance
       8             :  */
       9           1 : const component = Vue.extend({
      10             :   name: "UserInfo",
      11             :   computed: {
      12             :     /** @return {Iface.User} */
      13           0 :     user() { return this.$store?.state?.user; },
      14             :     .../** @type { isOperator(): boolean, isExpert(): boolean } */mapGetters([ "isOperator", "isExpert" ])
      15             :   }
      16             : });
      17             : export default component;