using Nemerle.Utility

set namespace Fx7

public variant Command
  | CheckSAT { f : Core -> Term; }
  | ExpectSAT { f : Core -> Term; }
  | ExpectUnSAT { f : Core -> Term; }
  | Pragma { args : list [string]; }

  internal mutable name : string = ""