BussproofsConfiguration.d.ts 148 B

123
  1. import { Configuration } from '../Configuration.js';
  2. import './BussproofsMappings.js';
  3. export declare const BussproofsConfiguration: Configuration;