1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21

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

#[macro_use]
use corollary_support::*;

// NOTE: These imports are advisory. You probably need to change them to support Rust.
// use Data::Ix;
// use Data::Generics;

#[derive(Clone, Debug, Eq, Ord, PartialEq, PartialOrd, Hash)]
pub struct Name(pub isize);

pub fn newNameSupply() -> Vec<Name> {
    namesStartingFrom(0)
}

pub fn namesStartingFrom(k: isize) -> Vec<Name> {
    // TODO fix this to be an infinite iterator
    (0..1024).map(|k| Name(k)).collect()
}