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