It would be very nice to have a way to separate the query for names and docstrings.
This would also allow to have a cost function that is specific to names (especially wrt #23)
Proposed syntax:
concat : 'a list list -> 'a list (** concatenate linear time *)
which is a little verbose, but I think feels familiar to an OCaml programmer!
It would be very nice to have a way to separate the query for names and docstrings. This would also allow to have a cost function that is specific to names (especially wrt #23)
Proposed syntax:
which is a little verbose, but I think feels familiar to an OCaml programmer!