module Op looks like a vestigial thing that can be removed since the definition of gens in crowbar.mli now matches it; can you confirm or deny, @stedolan ?
I also removed what looked like some inessential weirdness in defining ident and elem_name, but let me know if I'm misunderstanding something subtle.
module Op
looks like a vestigial thing that can be removed since the definition ofgens
incrowbar.mli
now matches it; can you confirm or deny, @stedolan ?I also removed what looked like some inessential weirdness in defining
ident
andelem_name
, but let me know if I'm misunderstanding something subtle.