namespace Synthesisimport { Synthesis } from "https://deno.land/x/dexonline@v3.2.0/mod.ts"; FunctionsfSynthesis.getTreefSynthesis.parsefSynthesis.parseBodyfSynthesis.parseHeaderInterfacesISynthesis.Lemma