BlockRuleHr.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17let is_safe = true let first_char = FirstChar.One '*' let force_construct = true type state = unit let re = Str.regexp "\\*\\*\\*+[ \t]*$" let start line : state BlockRule.res = if Str.string_match re line 0 then Stop { state = (); handle_line = `Discard } else Die let continue _ _ = (* There is no [BlockRule.Go] state in [start], i.e. no continue. *) assert false let construct _ () _ = Typ.Hr