interface Synthesis.Lemma implements Header, Bodyimport { type Synthesis } from "https://deno.land/x/dexonline@v3.2.2/mod.ts"; const { Lemma } = Synthesis;