Struct Tree 

pub struct Tree {
    pub dir: PathBuf,
    pub files: Vec<LeanFile>,
}

The Lean tree under a lean dir: the root ProvableContracts.lean and every file under ProvableContracts/.

Fields

dir: PathBuf

files: Vec<LeanFile>

Implementations

impl Tree

pub fn load(dir: &Path) -> Result<Self, String>

Err (a decline) when the dir has no ProvableContracts.lean.

pub fn cone(&self) -> BTreeSet<String>

The modules the root reaches through imports, transitively (itself included).

Trait Implementations

impl Clone for Tree

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Tree

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.