@c "options/option-t.texi"
@c extracted from "../../src/main/chpsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -t type
Instead of expanding the whole top-level instances, only operate
on the given type @var{type}, i.e. instantiate one instance
of @var{type} as the top-level.  
This variation, however does @strong{not} expand subinstances recursively, 
like the @option{-T} option.  
This is particularly useful for examining the CHP event structure of
a particular definition.  
@end defopt

