functor (A : sig val scm : Scm_syn.global_scm end-> Model.S