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