1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

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

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

pub type NameSupply = Box<Iterator<Item=Name>>;

pub fn new_name_supply() -> NameSupply {
    Box::new((0..).map(Name))
}