erg_compiler-0.6.36
- erg_compiler 0.6.36
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- mtshiba
- Dependencies
- erg_common ^0.6.36 normal
  erg_parser ^0.6.36 normal
  pyo3 ^0.20 normal optional
  erg_common ^0.6.36 build
- Versions
- 6.93% of the crate is documented
Platform
Feature flags

Rust

erg_compiler0.6.36

In erg_compiler::ty::constructors

Function erg_compiler::ty::constructors::subtypeof

pub fn subtypeof(sup: Type) -> Constraint

Expand description

Sub <: Sup