Module Segments

include Segments__.Sigs
module type OrderedMonoid : sig ... end
module type S : sig ... end
module ThunkList = ThunkList.Make
module ThunkListMemo = ThunkListMemo.Make
module LazyList = LazyList.Make
module StrictSet = StrictSet.Make
module Trie : sig ... end