Module Textual.Typ

type t =
  1. | Int
    (*

    integer type

    *)
  2. | Float
    (*

    float type

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

    void type

    *)
  5. | Fun of function_prototype option
    (*

    function type

    *)
  6. | Ptr of t
    (*

    pointer type

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

    structured value type name

    *)
  8. | Array of t
    (*

    array type

    *)
and function_prototype = {
  1. params_type : t list;
  2. return_type : t;
}
val equal : t -> t -> bool
val equal_function_prototype : function_prototype -> function_prototype -> bool
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 pp_annotated : F.formatter -> annotated -> unit
val mk_without_attributes : t -> annotated