Skip to content

Fix possible type in List.init signature#48

Open
josephrubin wants to merge 1 commit into
janestreet:masterfrom
josephrubin:patch-1
Open

Fix possible type in List.init signature#48
josephrubin wants to merge 1 commit into
janestreet:masterfrom
josephrubin:patch-1

Conversation

@josephrubin
Copy link
Copy Markdown

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant