S (infer.Absint.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.