Ѫ
MOTIF

SPEC-SECTION

ASSERTION nodes in SPEC files

Quick facts & summary

MOTIF's description 

{
  label: 'string',
  group: [ 'spec-section' | 'assertion' ]
}

INSTANCES' list

Back to home.