Module Fol_eqs.Smap


module Smap: Datatype.String.Map