lint

pi-base · Oct 18, 2024 · 9c76ec3 · 9c76ec3
1 parent bfd0104
commit 9c76ec3
Showing 1 changed file with 30 additions and 20 deletions.
diff --git a/packages/viewer/src/components/Traits/Show.svelte b/packages/viewer/src/components/Traits/Show.svelte
@@ -6,26 +6,36 @@
  export let property: Property
  export let trait: Trait | undefined
  export let proof: ProofT | undefined
- export let meta: {
- description: string;
- refs: ({
- name: string;
- } & ({
- doi: string;
- } | {
- wikipedia: string;
- } | {
- mr: string;
- } | {
- mr: number;
- } | {
- mathse: number;
- } | {
- mo: number;
- } | {
- zb: string;
- }))[];
- } | undefined
+ export let meta:
+ | {
+ description: string
+ refs: ({
+ name: string
+ } & (
+ | {
+ doi: string
+ }
+ | {
+ wikipedia: string
+ }
+ | {
+ mr: string
+ }
+ | {
+ mr: number
+ }
+ | {
+ mathse: number
+ }
+ | {
+ mo: number
+ }
+ | {
+ zb: string
+ }
+ ))[]
+ }
+ | undefined
  import { contributingUrl } from '@/constants'
 </script>