#lang ivy1.7
include order
include collections
instance dom : unbounded_sequence
type rng
instance arr : array(dom,rng)
instance s : segment(dom,rng,arr)
export s.make