Skip to content

Change the names of internal modules to Lacaml__M #25

@Chris00

Description

@Chris00

In view of the following compiler PR, we should use Lacaml__M (2 underscores instead of one) for internal modules so that the type printer outputs Lacaml.M when they are aliased.

Metadata

Metadata

Assignees

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions