kodept-inference-0.2.3
- kodept-inference 0.2.3
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- ITesserakt
- Dependencies
- derive_more ^0.99 normal
  itertools ^0.13 normal
  nonempty-collections ^0.2 normal
  thiserror ^1.0 normal
  tracing ^0.1.40 normal
  rstest ^0.19.0 dev
- Versions
- 2.94% of the crate is documented
Platform
Feature flags

docs.rs

Rust

explicit_cst

kodept_inference0.2.3

In kodept_inference::constraint

kodept_inference::constraint

Function explicit_cst

pub fn explicit_cst(
    t: impl Into<MonomorphicType>,
    s: impl Into<PolymorphicType>,
) -> Constraint