sig   type tag =       MARK of Cil_types.stmt     | THEN of Cil_types.stmt     | ELSE of Cil_types.stmt     | CALL of Cil_types.stmt * Cil_types.kernel_function     | CASE of Cil_types.stmt * int64 list     | DEFAULT of Cil_types.stmt     | ASSERT of Cil_types.identified_predicate * int * int   val loc : Splitter.tag -> Cil_types.location   val pretty : Format.formatter -> Splitter.tag -> unit   val mark : Cil_types.stmt -> Splitter.tag   val if_then : Cil_types.stmt -> Splitter.tag   val if_else : Cil_types.stmt -> Splitter.tag   val switch_cases : Cil_types.stmt -> int64 list -> Splitter.tag   val switch_default : Cil_types.stmt -> Splitter.tag   val cases :     Cil_types.identified_predicate ->     (Splitter.tag * Cil_types.predicate) list option   val call : Cil_types.stmt -> Cil_types.kernel_function -> Splitter.tag   type 'a t   val empty : 'a Splitter.t   val singleton : 'a -> 'a Splitter.t   val group :     Splitter.tag -> ('a list -> 'a) -> 'a Splitter.t -> 'a Splitter.t   val union :     ('a -> 'a -> 'a) -> 'a Splitter.t -> 'a Splitter.t -> 'a Splitter.t   val merge :     left:('a -> 'c) ->     both:('a -> 'b -> 'c) ->     right:('b -> 'c) -> 'a Splitter.t -> 'b Splitter.t -> 'c Splitter.t   val merge_all : ('a list -> 'a) -> 'a Splitter.t list -> 'a Splitter.t   val length : 'a Splitter.t -> int   val map : ('a -> 'b) -> 'a Splitter.t -> 'b Splitter.t   val iter : (Splitter.tag list -> 'a -> unit) -> 'a Splitter.t -> unit   val fold :     (Splitter.tag list -> 'a -> 'b -> 'b) -> 'a Splitter.t -> 'b -> 'b   val exists : ('a -> bool) -> 'a Splitter.t -> bool   val for_all : ('a -> bool) -> 'a Splitter.t -> bool   val filter : ('a -> bool) -> 'a Splitter.t -> 'a Splitter.t end