Up – goblint » Goblint_solver » LocalFixpoint » Make

Module `LocalFixpoint.Make`

Parameters
Signature

Parameters

module D : Lattice.S

Signature

val lfp : ?init:D.t -> (D.t -> D.t) -> D.t