Up – Package index » goblint index » Library goblint.lib » Goblint_lib » LocalFixpoint » Make

Module `LocalFixpoint.Make`

Parameters

module D : Lattice.S

Signature

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