Module Parameters.DoCollapseCallCast


module DoCollapseCallCast: Plugin.BOOL 
Behavior of option "-collapse-call-cast".

include Plugin.Parameter
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.