Functor Scm_analyzer.Make


module Make: 
functor (Custom : Custom) -> S with module Custom = Custom
Parameters:
Custom : Custom

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