erg_compiler-0.5.11-nightly.5
- erg_compiler 0.5.11-nightly.5
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- mtshiba
- Dependencies
- erg_common ^0.5.11-nightly.5 normal
  erg_parser ^0.5.11-nightly.5 normal
- Versions
- 5.71% 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

source · [−]

pub fn subtypeof(sub: Type, sup: Type) -> TyBound

Expand description

Sub <: Sup