Up
–
gillian
»
Engine
» Symex
Module
Engine.Symex
type
'a t
=
'a
Gbranch.t
list
type
('a, 'b) result
=
(
'a
,
'b
)
Result
.t
t