Module type LowerHil.S

module Interpreter : AbstractInterpreter.S
type domain
val compute_post : Interpreter.TransferFunctions.analysis_data -> initial:domain -> IR.Procdesc.t -> domain option

compute and return the postcondition for the given procedure starting from initial.