Module LowerHil.Make

Functor for turning HIL transfer functions into SIL transfer functions

Parameters

Signature

module Domain : sig ... end
type analysis_data = TransferFunctions.analysis_data
val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit