Identifier(s) to find:A response of `some_op', for example, might result in the following display in the Text Window:
some_op: OPERATION in fifi Input - inp_var : NAT Output - out1_var : NAT out2_var : NAT Referenced: mimi gigiindicating that the operation `some_op' is an operation name declared in the construct `fifi' having a single input parameter `inp_var' of type NAT, and two output variables `out1_var' and `out2_var' both having type NAT; `some_op' is referenced in the two constructs `mimi' and `gigi'.
Note that Find is applicable only to constructs which are currently analysed.