fn sylvan_init() {
  unsafe {
    super::raw::raw_init();
  }
}
/// Initializes sylvan, our bdd-library
Initializes sylvan, our bdd-library
Initializes sylvan our bdd - library
fn sylvan_init() {
  unsafe {
    super::raw::raw_init();
  }
}
fn sylvan_init ( ) { unsafe { super :: raw :: raw_init ( ) ; } }
Initializes sylvan, our bdd-library
Initializes sylvan our bdd - library