erg_compiler-0.6.8-nightly.1
- erg_compiler 0.6.8-nightly.1
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- mtshiba
- Dependencies
- erg_common ^0.6.8-nightly.1 normal
  erg_parser ^0.6.8-nightly.1 normal
  erg_common ^0.6.8-nightly.1 build
- Versions
- 6.3% of the crate is documented
Go to latest stable release
Platform
Feature flags

Rust

In erg_compiler::ty::constructors

Function erg_compiler::ty::constructors::subtypeof

pub fn subtypeof(sup: Type) -> Constraint

Expand description

Sub <: Sup