Commit a0910531 authored by Jeff Smits's avatar Jeff Smits

Added TODO about annotations on sublists

parent d78fc511
......@@ -130,6 +130,8 @@ impl TryInto<Rc<RefCell<IndexedSet>>> for Blob {
// TODO: Support annotations on sublists (not support by the aterm format)
pub type ATermFactory = aterm::rc::ATermFactory<Blob>;
pub type ATerm = aterm::rc::ATerm<Blob>;
pub type ATermRef = Rc<aterm::rc::ATerm<Blob>>;
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment