Struct EnvironmentView 

pub struct EnvironmentView<'a> { /* private fields */ }

A read-only view of the environment with aggregated queries.

Implementations

impl<'a> EnvironmentView<'a>

pub fn new(env: &'a Environment) -> Self

Create a view over an environment.

pub fn axiom_names(&self) -> Vec<&Name>

Get all axiom names.

pub fn inductive_names(&self) -> Vec<&Name>

Get all inductive type names.

pub fn constructor_names(&self) -> Vec<&Name>

Get all constructor names.

pub fn definition_names(&self) -> Vec<&Name>

Get all definition names.

pub fn count_by_kind(&self) -> EnvKindCounts

Count declarations by kind.