module Transfer_specification:sig
..end
module Make:functor (
Abstract
:
Abstractions.S
) ->
functor (
States
:
Powerset.S
with type state = Abstract.Dom.t
) ->
functor (
Logic
:
Transfer_logic.S
with type state = Abstract.Dom.t and type states = States.t
) ->
sig
..end