TypedC.Build
val ptr : typ -> Pred.t -> typ
Build a pointer type. Deprecated: use ptr_to_name instead.
val ptr_to_name : name -> typ
Build a pointer type.
val refine : typ -> Pred.t -> typ
Refinement type: t with pred.