Selectgenval env_add : ?mut:Asttypes.mutable_flag -> Backend_var.With_provenance.t -> Reg.t array -> environment -> environmentval env_find : Backend_var.t -> environment -> Reg.t arrayval size_expr : environment -> Cmm.expression -> intmodule Effect : sig ... endmodule Coeffect : sig ... endmodule Effect_and_coeffect : sig ... endclass virtual selector_generic : object ... end