gillian » Gillian » Gil_syntax » Visitors » Utils

Module Visitors.Utils

module SS = Utils.Containers.SS

classlist_monoid : object ... end

classnon_ordered_list_monoid : object ... end

Same as list_monoid but uses rev_append as plus. Will break any order-conservation

classss_monoid : object ... end

classtwo_list_monoid : object ... end