@c "spec/exclhi.texi"
@c extracted from "../../src/Object/lang/SPEC_registry.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Directive exclhi nodes...
Usage: @samp{exclhi(...)}

Emits directives to check that @var{nodes} are mutually exclusive high
at run-time.  
(This corresponds to the old @t{CHECK_CHANNELS} method of checking 
for exclusivity.)
In @command{hacprsim}, these form checking rings.  
In @command{cflat lvs}, these directives affect 
charge-sharing and sneak-path analysis.  
@end deffn

