sig
  exception Cannot_unnegate of string
  val canonical : string -> string
  val unnegate : string -> string
  val token : Stdlib.Lexing.lexbuf -> FML_parser.token
end