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