(*Generated by Lem from pervasives_extra.lem.*)
 

include Lem_pervasives 
include Lem_function_extra
include Lem_maybe_extra
include Lem_map_extra
include Lem_set_extra
include Lem_set_helpers
include Lem_list_extra
include Lem_string_extra
include Lem_assert_extra
