module Make: functor (Left : Abstract_value.Internal) -> functor (Right : Abstract_value.Internal) -> Abstract_value.Internal with type t = Left.t * Right.t
functor (
Left
:
Abstract_value.Internal
) ->
Right
with type t = Left.t * Right.t
include Abstract_value.S
val structure : t Abstract_value.structure
t Abstract_value.structure