Module Character_parser.Indent

type t

Allowed indentations

val is_offside : int -> t -> bool

is_offside col ind Is the column col offside for the allowed indentation ind?

val lower_bound : t -> int

The lower bound of the indentation set.

val has_only_one_position : t -> bool

Does the indentation set have exactly one position?

val string_of_set : t -> string

string_of_set ind