Parameter SpecBase.WrapperArgs

val wrappers : unit -> string list
val is_wrapped : LibraryDesc.special -> bool