Up – Package index » acgtk » Library acgtkLib.logic » Logic » VarUnionFind » UF » Value

Parameter `UF.Value`

acgtk
- CHANGES
- LICENSE
- README
- Library acgtkLib.acgData
  - AcgData
- Library acgtkLib.datalogLib
  - DatalogLib
- Library acgtkLib.logic
  - Logic
- Library acgtkLib.utilsLib
  - UtilsLib
- Sources

type t

type value

val unfold : value -> t -> (int * value list) option