proof-engine-0.1.1
- proof-engine 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- Mattbusel
- Dependencies
- ab_glyph ^0.2 normal
  bytemuck ^1 normal
  cpal ^0.15 normal
  env_logger ^0.11 normal
  glam ^0.25 normal
  glow ^0.16 normal
  glutin ^0.32 normal
  glutin-winit ^0.5 normal
  log ^0.4 normal
  noise ^0.9 normal
  raw-window-handle ^0.6 normal
  rodio ^0.17 normal
  serde ^1 normal
  toml ^0.8 normal
  winit ^0.30 normal
  criterion ^0.5 dev
- Versions
- 41.31% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Var

proof_engine0.1.1

In proof_engine::symbolic::expr

proof_engine::symbolic::expr

Function Var

pub fn Var(name: &str) -> Expr

Expand description

Convenience constructors.