Adds parameters to select generation configuration
Showing
- src/kernel_internals/typing/populate_spec.ml 85 additions, 42 deletionssrc/kernel_internals/typing/populate_spec.ml
- src/kernel_services/plugin_entry_points/kernel.ml 34 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 5 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
Loading
Please register or sign in to comment