using Nemerle.Collections
using System.Text
using Nemerle.Profiling

set namespace Fx7

public variant Rule
  | Resolution
      initial : Clause
      steps : list [Literal * Clause]

  | TheoryConflict
  
  | InitialFormula

  | Skolemize
  | Instantiate

  | Or
  | NegOr
  | And
  | NegAnd