Module UntypedAST.Builtin

module Builtin: sig .. end

type t = [ `And
       | `Eq
       | `Equiv
       | `False
       | `Imply
       | `Not
       | `Or
       | `Prop
       | `True
       | `Type
       | `Undefined of string
       | `Unitype ] 

val fixity : t -> [ `Infix | `Prefix ]

val to_string : t -> string

val print : Format.formatter -> t -> unit