prop-0.47.0
- prop 0.47.0
- Permalink
- Docs.rs crate page
- MIT
- 12 August 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- bvssvni
- Dependencies
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

fun_type_ty

prop0.47.0

In prop::fun

Function fun_type_ty

pub fn fun_type_ty<N: Nat, M: Nat>() -> Ty<Pow<Type<M>, Type<N>>, Type<Z>>

Expand description

(type(n) -> type(m)) : type(0).