Module Textual.Typ

type t =
  1. | Int
    (*

    integer type

    *)
  2. | Float
    (*

    float type

    *)
  3. | Null
  4. | Void
    (*

    void type

    *)
  5. | Ptr of t
    (*

    pointer type

    *)
  6. | Struct of TypeName.t
    (*

    structured value type name

    *)
  7. | Array of t
    (*

    array type

    *)
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp : F.formatter -> t -> unit
type annotated = {
  1. typ : t;
  2. attributes : Attr.t list;
}
val is_annotated : f:(Attr.t -> bool) -> annotated -> bool
val mk_without_attributes : t -> annotated