Type Definition smt2parser::Hexadecimal[][src]

type Hexadecimal = Vec<Nibble>;
Expand description

SMT2 hexadecimal values.