Type Alias Deffacts

Source
pub type Deffacts = deffacts;

Aliased Type§

struct Deffacts {
    pub header: constructHeader,
    pub assertList: *mut expr,
}

Fields§

§header: constructHeader§assertList: *mut expr