Cubicle 1.1.2 documentation and source : Intervals.undefined

let undefined ty = {
  ints = [Minfty, Pinfty];
  is_int =  ty  = Ty.Tint;
  expl = Ex.empty
}