nar-0.0.8
- nar 0.0.8
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- ice1000
- Dependencies
- clap ^2.33 normal
  
  either ^1.5 normal
  
  minitt-util ^0.2 normal
  
  pest ^2.1.2 normal
  
  pest_derive ^2.1 normal
  
  rustyline ^6.0 normal
  
  structopt ^0.3 normal
  
  voile-util ^0.2.2 normal
- Versions
Platform
Feature flags

Rust

☰

Module decl

Structs
Enums

nar::syntax::core

[−][src]Module nar::syntax::core::decl

Checked declarations.

Structs

Clause	Function clauses. Agda.
CodataInfo
ConsInfo
DataInfo
FuncInfo

Enums

Decl	Declaration. Agda.