sig
type
t =
RefUsage
.access
val
cup :
RefUsage
.
??.
t
->
RefUsage
.
??.
t
->
RefUsage
.
??.
t
end