Crate mikino_api[−][src]

Expand description

A minimal (1-)induction library.

Re-exports

pub extern crate rsmt2;

Types and helpers to check a transition system.

Defines the expression structure used to represent predicates.

Transition system parser.

Common imports throughout this project.

Transition system structures and helpers.

Builds some variable declarations.

Convenience macro, provides a DSL for writing expressions.

Builds a transition system.

Builds an expression.

Builds a type.

Imports mikino’s prelude.