sig
  module Custom : Custom
  val analyze :
    ?widening_start:int ->
    ?widening_freq:int ->
    ?print_step:bool ->
    ?print_state:bool ->
    ?print_postpre:bool ->
    Scm_syn.global_scm ->
    Scm_analyzer.Custom.tabstract Scm_manager.manager -> unit
end