Searched defs:mizarId (Results 1 – 1 of 1) sorted by relevance
355 function setupMizarBlock(mizarBlock, mizarId) { argument521 async function startMizarCompilation(mizarBlock, toggleErrorPanel, mizarId) { argument650 async function startGraphVisualization(mizarBlock, mizarId) { argument807 const mizarId = mizarIdRaw.replace("mizarBlock", ""); constant