Previous
Up
Next
Module
Res_intf
module
Res_intf:
sig
..
end
Interface for proofs
module type
S
=
sig
..
end