sig
  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
end