Parse_ctypes.Conversion
module Size : sig ... end
val pred_nz : Ctypes.Pred.t
val base : string -> int -> Ctypes.Pred.t -> Ctypes.typ
val convert_binop : Type_parse_tree.binop -> Ctypes.Pred.binop
val convert_expr : Type_parse_tree.expr -> Ctypes.Pred.expr
val binop_to_cmpop :
Type_parse_tree.binop ->
Type_parse_tree.expr ->
Type_parse_tree.expr ->
Ctypes.Pred.t
val convert_predicate : Type_parse_tree.expr -> Ctypes.Pred.t
val convert_type_pred : Type_parse_tree.typ -> Ctypes.Pred.t -> Ctypes.typ
val convert_type : Type_parse_tree.typ -> Ctypes.typ
val convert_fields :
(string * Type_parse_tree.typ) list ->
int option * (int * string * Ctypes.typ) list
val convert_union_types :
(string * Type_parse_tree.typ) list ->
int option * (string * Ctypes.typ) list
val convert_constr : Type_parse_tree.constr -> Ctypes.constr
val convert_definition : (string * Type_parse_tree.t) -> unit