Module type Scm_analyzer.S


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