Post (p.goblint.1.1.1.doc.goblint.lib.Td3.WP.Post)

module S : sig ... end

module VH : sig ... end

val postsolver_opt : (module PostSolver.ListArgFromStdArg(S)(HM)(Arg).M) option

val post : 
  (PostSolver.ListArgFromStdArg(S)(HM)(Arg).S.v
   * PostSolver.ListArgFromStdArg(S)(HM)(Arg).S.d)
    list ->
  PostSolver.ListArgFromStdArg(S)(HM)(Arg).S.v list ->
  PostSolver.ListArgFromStdArg(S)(HM)(Arg).S.d
    PostSolver.ListArgFromStdArg(S)(HM)(Arg).VH.t ->
  unit