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

docs.rs

Rust

Skip to main content

entails

rexlang_typesystem3.9.4

rexlang_typesystem

Function entails

pub fn entails(
    class_env: &ClassEnv,
    given: &[Predicate],
    pred: &Predicate,
) -> Result<bool, TypeError>