why3 0.13.0

Why3 AST and pretty printers
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
#![feature(alloc_slice_into_array)]

pub mod ce_models;
pub mod coma;
pub mod declaration;
pub mod exp;
pub mod name;
pub mod printer;
pub mod ty;

pub use exp::Exp;
pub use name::{Ident, Name, QName, Symbol};