Up
Next
Module type
Transfer_logic.Domain
module type
Domain =
sig
..
end
include
Abstract_domain.Logic
include
Datatype.S