Crate ravenlang 

Re-exports

pub use prop::Prop;

Modules

epr_check

prop

Structs

Axiom

Builder

CaseName

CheckedSig

FunOp

Gen

A bit of state used to auto-generate fresh variable names.

OpCode

PredOp

PredSymbol

RecOp

Sig

TypeContext

Enums

BType

A BType is a base type, which can be represented directly by a sort.

Binder1

Computations that bind a single variable for use in a body computation.

BinderN

Computations that bind multiple variables for use in a body computation.

CType

Comp

Literal

LogOpN

A logical operator that takes zero or more arguments.

Op

OpMode

Pattern

Quantifier

Rebuild

VName

Variable names

VType

A VType is a base type or a tuple

Val

Functions

parse_str_cbpv

parse_str_syn

syn_to_builder

Type Aliases

Cases