Module Parameters.ContinueOnAnnotError


module ContinueOnAnnotError: Plugin.BOOL 
Do not stop for type-checking errors in annotations.

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