Parameter Map.Elt

module type Rule
val first_char : (module Rule) -> t