Previous
Up
Next
Module
Setoid
module
Setoid
:
sig
..
end
module type
Setoid
=
sig
..
end