Module types 

Re-exports

pub use crate::ast::Type;

Modules

bool

Aver static type representation and built-in type namespaces.

branch_path

BranchPath — opaque identifier for a branch in the structural tree of !/?! groups. Used in Oracle-proof specs for generative effects (oracle : (BranchPath, Int, args...) -> T) and, via the trace-API .path() bridge, for tying trace events to oracle invocations.

byte

char

checker

effect_event

EffectEvent — opaque builtin representing one recorded effect emission.

float

int

list

map

option

result

string

trace

Trace — opaque builtin exposing a function’s structural trace in verify-trace assertions.

vector

Functions

parse_type_str

Parse an Aver type annotation string into a Type. Returns Type::Invalid for malformed or unknown type strings (internal recovery). Prefer parse_type_str_strict for user-facing type annotations.

parse_type_str_strict

Parse a type annotation string strictly. Returns Err(unknown_name) if the string is a non-empty identifier that does not map to a known type (i.e. a likely typo). Generic forms (Result<...>, Option<...>, List<...>) with valid inner types are accepted.