liblisa-0.1.4
- liblisa 0.1.4
- Permalink
- Docs.rs crate page
- AGPL-3.0-only
- 01 June 2026
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- jxors
- Dependencies
- arbitrary ^1 normal
  arrayvec ^0.7 normal
  bitcode ^0.5.0 normal
  fxhash ^0.2.1 normal
  hashbrown ^0.14.3 normal
  hex ^0.4 normal
  itertools ^0.12.0 normal
  log ^0.4 normal
  rand ^0.8 normal
  rayon ^1.5 normal
  rustc_apfloat ^0.2.0 normal
  rusty-xed ^0.1.1 normal optional
  schemars ^0.8.16 normal optional
  serde ^1.0 normal
  sha1 ^0.10.6 normal
  thiserror ^1 normal
  z3 ^0.12.1 normal optional
  clap ^4.4.8 dev
  criterion ^0.5 dev
  env_logger ^0.10 dev
  memoffset ^0.9.1 dev
  rand_xoshiro ^0.6 dev
  serde_json ^1.0 dev
  test-log ^0.2.10 dev
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

zero

liblisa0.1.4

In liblisa::semantics::default::builder

liblisa::semantics::default::builder

Function zero

pub const fn zero() -> ExprBuilder<1, ConstOp<0>>

Expand description

Returns the constant 0.