return to top
source
Returns true if the expression is an application of sorryAx.
true
sorryAx
Returns true if the expression is of the form sorryAx _ true ...
sorryAx _ true ..
Returns true if the expression is of the form sorryAx _ false ...
sorryAx _ false ..