module Initialization: sig .. end
sig
end
Creation of the initial state of abstract domain.
module type S = sig .. end
module Make: functor (Domain : Abstract.Domain.External) -> functor (Eva : Evaluation.S with type state = Domain.state and type loc = Domain.location) -> functor (Transfer : Transfer_stmt.S with type state = Domain.t) -> S with type state := Domain.t
functor (
Domain
:
Abstract.Domain.External
) ->
Eva
Evaluation.S
with type state = Domain.state and type loc = Domain.location
Transfer
Transfer_stmt.S
with type state = Domain.t
S
with type state := Domain.t