Id (dolmen_loop.Dolmen_loop.Export.Make.Smtlib2

type t =
  < term_cst : Expr.term_cst
    ; term_var : Expr.term_var
    ; ty_cst : Expr.ty_cst
    ; ty_var : Expr.ty_var >
    Dolmen_intf.Scope.id

val equal : t -> t -> bool

val path : t -> Dolmen_std.Path.t

module Map : sig ... end

val namespace : t -> Dolmen_std.Namespace.t