Module Refiner.Cof

val formation : Tactic.Tp.tac
val join : Tactic.Chk.tac list -> Tactic.Chk.tac
val meet : Tactic.Chk.tac list -> Tactic.Chk.tac
val boundary : Tactic.Chk.tac -> Tactic.Chk.tac
type branch_tac = {
  1. cof : Tactic.Chk.tac;
  2. bdy : Tactic.var -> Tactic.Chk.tac;
}
val split : branch_tac list -> Tactic.Chk.tac