<?php namespace WPDeveloper\BetterDocs\Dependencies\SuperClosure\Exception;

/**
 * This is a marker exception for the WPDeveloper\BetterDocs\Dependencies\SuperClosure library.
 */
interface SuperClosureException
{
    //
}
