Up
–
current
»
Current_term
»
S
» T
Module type
S.T
type
t
val
equal :
t
->
t
->
bool
val
pp :
t
Fmt
.t