diff options
| author | Son Ho | 2022-02-09 18:32:58 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-09 18:32:58 +0100 |
| commit | c3a1b5048f5fc9e5f2f2dcd24506cb0762f5b71d (patch) | |
| tree | 742b1bb1a5d6dc788b7e5f8cdaac45c09765f637 /src | |
| parent | 1f6798412509e0020f3ad468bfe91d3b15a7ce75 (diff) | |
Add a comment
Diffstat (limited to 'src')
| -rw-r--r-- | src/PureToExtract.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml index 04f3c8b9..2a47eb6f 100644 --- a/src/PureToExtract.ml +++ b/src/PureToExtract.ml @@ -30,6 +30,7 @@ module StringMap = Collections.MakeMap (Collections.OrderedString) type name = Identifiers.name +(* TODO: this should a module we give to a functor! *) type formatter = { bool_name : string; char_name : string; |