Docs.rs
dol-0.8.1
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
dol 0.8.1
DOL (Design Ontology Language) - A declarative specification language for ontology-first development
Crate
Source
Builds
Feature flags
Hide files
..
add_function.dol
arithmetic.dol
empty_module.dol
exegesis_only.dol
gene_methods_test.dol
gene_with_constraint.dol
if_else.dol
if_else_test.dol
locals_test.dol
loop_test.dol
match_expr.dol
simple_gene.dol
single_const.dol
system_impl.dol
trait_def.dol
1
2
3
4
5
module arith @ 0.1.0 fun calc(x: i64, y: i64) -> i64 { return x + y }