rexlang-typesystem-3.9.9
- rexlang-typesystem 3.9.9
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- peterkelly
- Dependencies
- chrono ^0.4 normal
  rexlang-ast ^3.9.9 normal
  rexlang-lexer ^3.9.9 normal
  rexlang-parser ^3.9.9 normal
  rexlang-util ^3.9.9 normal
  rpds ^1 normal
  thiserror ^1 normal
  uuid ^1 normal
  rexlang-lexer ^3.9.9 dev
  rexlang-parser ^3.9.9 dev
- Versions
- 5.37% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

Skip to main content

infer

rexlang_typesystem3.9.9

rexlang_typesystem

Function infer

pub fn infer(
    type_system: &mut TypeSystem,
    expr: &Expr,
) -> Result<(Vec<Predicate>, Type), TypeError>