.TH "serif::model::checks::Binding< TermT >" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
serif::model::checks::Binding< TermT > \- Only the binding's physical identity is needed to check public overload constraints\&.  

.SH SYNOPSIS
.br
.PP
.SS "Public Types"

.in +1c
.ti -1c
.RI "using \fBTerm\fP = TermT"
.br
.in -1c
.SH "Detailed Description"
.PP 

.SS "template<typename TermT>
.br
struct serif::model::checks::Binding< TermT >"Only the binding's physical identity is needed to check public overload constraints\&. 
.SH "Member Typedef Documentation"
.PP 
.SS "template<typename TermT> using \fBserif::model::checks::Binding\fP< TermT >::Term = TermT"


.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.