We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Formatting
module Make_contract_fields (Gd : Grid_display.GRID_DISPLAY) (_ : CONTRACT_ROW_DATA with type t = Gd.row_data and type row_id = Gd.row_id) : sig end
with the options
margin=100 profile=conventional field-space=tight-decl indicate-multiline-delimiters=closing-on-separate-line
introduces a trailing space after sig.
sig
The text was updated successfully, but these errors were encountered:
Thanks for the report, should be fixed in #2443
Sorry, something went wrong.
Thanks!
Successfully merging a pull request may close this issue.
Formatting
with the options
introduces a trailing space after
sig
.The text was updated successfully, but these errors were encountered: