module List : sig ... end
val (@) : 'a list -> 'a list -> 'a list
the new implementation for ( @ ) operator, see List.append.
List.append