Struct ArtifactLayout 

pub struct ArtifactLayout {
    pub root: PathBuf,
    pub smt_dir: PathBuf,
    pub lean_dir: PathBuf,
}

Fields

root: PathBuf

smt_dir: PathBuf

lean_dir: PathBuf

Implementations

impl ArtifactLayout

pub fn new(root: impl AsRef<Path>) -> ArtifactLayout

Trait Implementations

impl Clone for ArtifactLayout

fn clone(&self) -> ArtifactLayout

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArtifactLayout

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

Formats the value using the given formatter.