4 lines
148 B
TypeScript
4 lines
148 B
TypeScript
|
import { Configuration } from '../Configuration.js';
|
||
|
|
import './BussproofsMappings.js';
|
||
|
|
export declare const BussproofsConfiguration: Configuration;
|