package merlin-lib
Merlin's libraries
Install
dune-project
Dependency
Authors
Maintainers
Sources
merlin-5.6-503.tbz
sha256=b0dcad092aaaf7a23f65ab9a089e8761bd665cc72357909e0ac6c2182f4fc2d4
sha512=9987baf2b2e82bab4c90a328bfcba9945e797e0f3d947156f04435ee84b49542844b379e35a79027c3ffe81f4b7a8f1c60803233999b4c039d4598033371880d
doc/merlin-lib.dot_protocol/Merlin_dot_protocol/Directive/index.html
Module Merlin_dot_protocol.Directive
Source
Source
type include_path = [
| `B of string
| `S of string
| `BH of string
| `SH of string
| `CMI of string
| `CMT of string
| `INDEX of string
]
Source
type no_processing_required = [
| `EXT of string list
| `FLG of string list
| `STDLIB of string
| `SOURCE_ROOT of string
| `UNIT_NAME of string
| `WRAPPING_PREFIX of string
| `SUFFIX of string
| `READER of string list
| `EXCLUDE_QUERY_DIR
| `USE_PPX_CACHE
| `UNKNOWN_TAG of string
]
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>