[][src]Type Definition trait_eval::One

type One = Succ<Zero>;

Constant one (1)