polar-core-0.26.1
- polar-core 0.26.1
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- crates.io
- Source
- Owners
- samscott89
- saolsen
- Dependencies
- indoc ^1.0.3 normal
  lalrpop-util ^0.19.6 normal
  serde ^1.0.119 normal
  strum_macros ^0.23.1 normal
  criterion ^0.3.3 dev
  maplit ^1.0.2 dev
  permute ^0.1.0 dev
  pipe ^0.4.0 dev
  pretty_assertions ^1.0.0 dev
  serde_json ^1.0.61 dev
  lalrpop ^0.19.6 build
  serde_derive ^1.0 build
  js-sys ^0.3.46 normal
  wasm-bindgen ^0.2.69 normal
- Versions
- 15.98% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

In polar_core::normalize

Function polar_core::normalize::and_

source · [−]

pub fn and_(l: Term, r: Term) -> Term