sig   module Callers : Parameter_sig.Bool   module Calls : Parameter_sig.Int   module SliceUndef : Parameter_sig.Bool   module KeepAnnotations : Parameter_sig.Bool end