Module BlockRuleCode.IndentSource

Code block with indent

____abc

where _ is a space

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