[kernel] export module type S of Logic_typing.Make application to enable first class modules usage
Showing
- src/kernel_services/ast_queries/logic_parse_string.ml 64 additions, 75 deletionssrc/kernel_services/ast_queries/logic_parse_string.ml
- src/kernel_services/ast_queries/logic_typing.ml 20 additions, 0 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_typing.mli 49 additions, 45 deletionssrc/kernel_services/ast_queries/logic_typing.mli
Loading
Please register or sign in to comment