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