Module Undefined_sequence

module Undefined_sequence: sig .. end

val check_sequences : Cil_types.file -> unit