Type Definition cudd_sys::DdHalfWord [] [src]

type DdHalfWord = uint32_t;