Module LogtkSignature.SMap

module SMap: module type of LogtkSymbol.Map