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