Source file genlex.ml

include Genlex