Module Non_linear.Location_list

module Location_list: Datatype.List(Locations.Location)

include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x and copy x.