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

include Lem_basic_classes
include Lem_bool
include Lem_tuple
include Lem_maybe
include Lem_either
include Lem_function
include Lem_num
include Lem_map
include Lem_set
include Lem_list
include Lem_string
include Lem_word

(*import Sorting Relation*)

