Previous
Up
Next
Module
Induction_intf
module
Induction_intf:
sig
..
end
Induction
module type
S
=
sig
..
end