company logo

Successor instance

Successor instances are separated by comma (,) from preceding instance.

Definition: 

next_ins := oif_sep [ inst_init ]