sig
  type t =
      [ `And
      | `Eq
      | `Equiv
      | `False
      | `Imply
      | `Not
      | `Or
      | `Prop
      | `True
      | `Type
      | `Undefined of string
      | `Unitype ]
  val print : Format.formatter -> t -> unit
  val fixity : UntypedAST.??.t -> [ `Infix | `Prefix ]
  val to_string : UntypedAST.??.t -> string
end