# DO NOT EDIT; generated by go run testdata/gen.go
#
raw: true
eval: true
-- in.cue --
{
	u16:  int & >=0 & <=65535
	u32:  uint32
	u64:  uint64
	u128: uint128
	u8:   uint8
	ua:   uint16 & >0
	us:   >=0 & <10_000 & int
	i16:  >=-32768 & int & <=32767
	i32:  int32 & >0
	i64:  int64
	i128: int128
	f64:  float64
	fi:   float64 & int
}
-- out/def --
u16:  uint16
u32:  uint32
u64:  uint64
u128: uint128
u8:   uint8
ua:   uint16 & >0
us:   uint & <10000
i16:  int16
i32:  int32 & >0
i64:  int64
i128: int128
f64:  float64
fi:   int & float64
-- out/compile --
--- in.cue
{
  {
    u16: ((int & >=0) & <=65535)
    u32: &(int, >=0, <=4294967295)
    u64: &(int, >=0, <=18446744073709551615)
    u128: &(int, >=0, <=340282366920938463463374607431768211455)
    u8: &(int, >=0, <=255)
    ua: (&(int, >=0, <=65535) & >0)
    us: ((>=0 & <10000) & int)
    i16: ((>=-32768 & int) & <=32767)
    i32: (&(int, >=-2147483648, <=2147483647) & >0)
    i64: &(int, >=-9223372036854775808, <=9223372036854775807)
    i128: &(int, >=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727)
    f64: &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308)
    fi: (&(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) & int)
  }
}
-- out/eval/stats --
Leaks:  0
Freed:  14
Reused: 12
Allocs: 2
Retain: 0

Unifications: 14
Conjuncts:    24
Disjuncts:    14
-- out/eval --
(struct){
  u16: (int){ &(>=0, <=65535, int) }
  u32: (int){ &(>=0, <=4294967295, int) }
  u64: (int){ &(>=0, <=18446744073709551615, int) }
  u128: (int){ &(>=0, <=340282366920938463463374607431768211455, int) }
  u8: (int){ &(>=0, <=255, int) }
  ua: (int){ &(>0, <=65535, int) }
  us: (int){ &(>=0, <10000, int) }
  i16: (int){ &(>=-32768, <=32767, int) }
  i32: (int){ &(>0, <=2147483647, int) }
  i64: (int){ &(>=-9223372036854775808, <=9223372036854775807, int) }
  i128: (int){ &(>=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727, int) }
  f64: (number){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) }
  fi: (int){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308, int) }
}