pub type Deffacts = deffacts;
struct Deffacts { pub header: constructHeader, pub assertList: *mut expr, }
header: constructHeader
assertList: *mut expr