SL_graph0.MonoList
type key = S.t
type t = S.t list
val mem : key -> t -> bool
val remove : t -> key -> t
val show : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
val unique : t -> t
val sort : t -> t
val inter : t -> t -> t
val inter_list : t list -> t