diff options
Diffstat (limited to 'FMark/src/Common/Types.fs')
| -rw-r--r-- | FMark/src/Common/Types.fs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/FMark/src/Common/Types.fs b/FMark/src/Common/Types.fs index 65ed79b..34ed027 100644 --- a/FMark/src/Common/Types.fs +++ b/FMark/src/Common/Types.fs @@ -35,7 +35,7 @@ and InlineElement = type TLine = InlineElement list -type THeader = {HeaderName: TLine; Level: int} +type THeader = {HeaderName: TLine; Level: int; RefID: string} type Ttoc = {HeaderLst: THeader list} @@ -65,7 +65,7 @@ type Ref = {Cat: RefType option; Author: Token list option; Title: Token list op type ParsedObj = | CodeBlock of string * Language - | Header of THeader * string // content of header, HTML id for linking + | Header of THeader | ContentTable of Ttoc | List of TList | Paragraph of TLine list |