Previous
Up
Module type
Abstract.Value.External
module type
External
=
sig
..
end
include
Abstract.Value.Internal
include
Abstract.Interface