polar-core-0.27.3
- polar-core 0.27.3
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- gj
- osohq-service-user
- Dependencies
- indoc ^1.0.3 normal
  
  lalrpop-util ^0.19.9 normal
  
  serde ^1.0.119 normal
  
  strum_macros ^0.24.0 normal
  
  criterion ^0.3.3 dev
  
  maplit ^1.0.2 dev
  
  permutohedron ^0.2.4 dev
  
  pipe ^0.4.0 dev
  
  pretty_assertions ^1.0.0 dev
  
  serde_json ^1.0.61 dev
  
  lalrpop ^0.19.9 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
Platform
Feature flags

docs.rs

Rust

polar_core0.27.3

In polar_core::normalize

polar_core::normalize

Function not_

pub fn not_(t: Term) -> Term