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