sig type occur val create : unit -> Letify.Split.occur val add : Letify.Split.occur -> Lang.F.pred -> unit val select : Letify.Split.occur -> (Lang.F.pred * int) list end