sig
  val choice : ID.t
  val unique : ID.t
  val unique_unsafe : ID.t
  val decls : UntypedAST.statement list
end