redIDL

Redleaf IPC IDL compiler.

Syntax

Same as rust. But for cross-domain interface traits, we mark then with #[interface]. And we mark domain create traits with #[domain_creation]. See test.ridl in ../data/ for example.

Constrains

• All modules must be public.
• Identifiers starts with RRef will be reserved.
• No super trait allow.