frege.run

Interface Kind.VII<𝐓,𝓐,𝓑,𝓒,𝓓,𝓔,𝓕,𝓖>