@c "attrib/bool-isrvc.texi"
@c extracted from "../../src/Object/unroll/bool_instance_attribute.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defmac isrvc1 b
@defmacx isrvc2 b
@defmacx isrvc3 b
Nodes are initially @t{isrvc1=false}, @t{isrvc2=false}, @t{isrvc3=false}.
If @var{b} is true, label this node in a way meaningful for 
redundant keeper circuits.  
If unspecified, argument is implicitly true.  
@end defmac

