Module LogicUsage.SMap

module SMap: Datatype.String.Map