Module BlockRuleHeader.SharpSource

Headers: e.g. # abc is for <h1> and ## abc is for <h2>. Similar rules are applied for <h3> to <h6>. Optionally, trailing sharps are acceptable, i.e. # abc #.

Sourceval is_safe : bool
Sourceval first_char : FirstChar.t
Sourcetype state
Sourceval start : string -> state BlockRule.res
Sourceval continue : state -> string -> state BlockRule.res
Sourceval construct : BlockRule.trans_f -> state -> string list -> Typ.block
Sourceval force_construct : bool

True if it should construct a block when no further input line is given