Cubicle 1.1.2 documentation and source : Cube.create

let create vars sa =
  {
    vars = vars;
    litterals = sa;
    array = ArrayAtom.of_satom sa;
  }