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

virtual_to_theory

prop0.47.0

In prop::mid

Function virtual_to_theory

pub fn virtual_to_theory<A: Prop>((a, ntauto_a): Virtual<A>) -> Theory<A>

Expand description

virtual(a) => theory(a).