sig   type t   type namespace   val sort : Id_intf.Logic.namespace   val term : Id_intf.Logic.namespace   val attr : Id_intf.Logic.namespace   val decl : Id_intf.Logic.namespace   val mod_name : string -> Id_intf.Logic.namespace   val mk : Id_intf.Logic.namespace -> string -> Id_intf.Logic.t end