package goblint

You can search for identifiers within the package.

in-package search v0.2.0

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