Up – Package index » goblint index » Library goblint.lib » Goblint_lib » Control » AnalyzeCFG » Slvr » Splitter

Module `Slvr.Splitter`

val split_solution : 
  [< `Bot | `Lifted1 of 'a & 'b | `Lifted2 of SpecSys.EQSys.D.t & 'c | `Top ]
    VH.t ->
  SpecSys.EQSys.D.t SpecSys.LHT.t * 'b SpecSys.GHT.t