Cubicle 1.1.2 documentation and source : Intervals.point

let point b ty e = {
  ints = [Large (b, e), Large (b, e)]; 
  is_int = ty  = Ty.Tint;
  expl = Ex.empty
}