module type S =sig
..end
module Custom:Scm_analyzer.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