Previous
Up
Next
Module
Env_intf
module
Env_intf:
sig
..
end
An inference returns a list of conclusions
module type
S
=
sig
..
end