Module Scm_prod


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