Header menu logo fantomas

LineDirectives Module

Functions and values

Function or value Description

LineDirectives.add fileIndex lineDirectives

Full Usage: LineDirectives.add fileIndex lineDirectives

Parameters:

Add the line directive data of the source file of fileIndex. Each line directive is represented by the line number of the directive and the file index and line number of the target.

fileIndex : FileIndex
lineDirectives : (int * (FileIndex * int)) list

Type something to start searching.