1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14

// Original file: "Builtin.hs"
// File auto-generated using Corollary.

#[macro_use]
use corollary_support::*;
use data::ident::*;

// NOTE: These imports are advisory. You probably need to change them to support Rust.
// use Language::C::Data::Ident;
// use Ident;

pub fn builtinTypeNames() -> Vec<Ident> {
    vec![builtinIdent("__builtin_va_list".to_string())]
}