Parameter Make.Size

type size
val size_ty : size Costlang.Ty.t