 gt-separated dark hidden-l" id="sidebar-nav">
      <li><a href="index.html">flutter_midi_command</a></li>
      <li><a href="dart-core/dart-core-library.html">dart:core</a></li>
      <li><a href="dart-core/pragma-class.html">pragma</a></li>
      <li class="self-crumb">options property</li>
    </ol>
    
    <h5>pragma class</h5>
    <ol>
    
        <li class="section-title"><a href="dart-core/pragma-class.html#constructors">Constructors</a></li>
        <li><a href="dart-core/pragma/pragma.html">prag