stabilizer::parser::Parser::DTSelectorDecl Struct Reference

#include <parser.h>

Public Attributes
std::string	name
std::shared_ptr< Sort >	sort

Detailed Description

Definition at line 166 of file parser.h.

Member Data Documentation

name

std::string stabilizer::parser::Parser::DTSelectorDecl::name

Definition at line 167 of file parser.h.

sort

std::shared_ptr<Sort> stabilizer::parser::Parser::DTSelectorDecl::sort

Definition at line 168 of file parser.h.

---

The documentation for this struct was generated from the following file:

• src/parser/parser.h