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