Module Selectgen
val env_add : Backend_var.With_provenance.t -> Reg.t array -> environment -> environmentval env_find : Backend_var.t -> environment -> Reg.t arrayval size_expr : environment -> Cmm.expression -> int
module Effect : sig ... endmodule Coeffect : sig ... endmodule Effect_and_coeffect : sig ... endclass virtual selector_generic : object ... end