praborrow-sidl

Sovereign Interface Definition Language (SIDL).

Overview

Provides the definition and expansion logic for the sovereign_interface! macro. This crate is responsible for generating type-safe FFI bindings and internal traits for cross-boundary communication in PraBorrow.

Key Features

• Interface Definition: Macro-based DSL for defining distributed service contracts.
• Binding Generation: Automates the creation of client/server stubs.
• Type Safety: Ensures argument and return type consistency across boundaries.