Simple (function_graphs.Function_graphs.Solver.Simple)

Parameters

module G : Sigs.MFG

val fix_gen : 
  debug:bool ->
  G.strategy array ->
  ((G.dom -> G.codom) -> G.dom -> G.codom) ->
  G.dom ->
  G.codom * G.t

val fix : ((G.dom -> G.codom) -> G.dom -> G.codom) -> G.dom -> G.codom