module Scm_prod:sig
..end
val from_syntree : Scm_syn.scm -> Scm_syn.global_scm
val asynchronous_product : ?disjoint_channels:bool ->
Scm_syn.global_scm -> Scm_syn.global_scm -> Scm_syn.global_scm
val synchronous_product : ?same_variables:bool ->
Scm_syn.global_scm -> Scm_syn.global_scm -> Scm_syn.global_scm