Is there an OCaml tool where as input, I specify a type sig, and as output, it give me a name. For example:
input: 'a list → ('a → 'b) → 'b list
output: List.map
input: 'a list → ('a → 'b option) → 'b list
output: List.filter_map
etc …
it’s fine if the output is more than one function