Code Structure

Constructor Functions

Proofs

FFI Wrappers