metamath-rs-0.3.8
- metamath-rs 0.3.8
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- digama0
- Dependencies
- annotate-snippets ^0.9 normal
  dot-writer ^0.1.2 normal optional
  filetime ^0.2 normal
  fnv ^1.0 normal
  itertools ^0.12 normal
  log ^0.4 normal
  regex ^1.5 normal
  tinyvec ^1.5 normal
  typed-arena ^2.0 normal
  xml-rs ^0.8.14 normal optional
  assert_matches ^1.5 dev
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Command

metamath_rs0.3.8

In metamath_rs::statement

metamath_rs::statement

Type Alias Command

pub type Command = (Span, Vec<CommandToken>);

Expand description

Extra information residing in a $j comment