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