Crate oxilean_wasm 

WebAssembly bindings for OxiLean.

This crate provides a WASM-compatible API for the OxiLean type checker, allowing use from JavaScript/TypeScript in web browsers or Node.js.

Modules

api

Main API for OxiLean WASM bindings

error

Error types for the WASM API

types

Type definitions for the WASM API