Simple2 (function_graphs.Function_graphs.Solver.Simple2)

Parameters

module T : sig ... end

module TMap : sig ... end

module X : sig ... end

module Y : sig ... end

module MFG : sig ... end

val fix_gen : 
  debug:bool ->
  MFG.strategy array ->
  ((T.t -> X.t -> Y.t) -> T.t -> X.t -> Y.t) ->
  T.t ->
  X.t ->
  Y.t * MFG.t TMap.t

val fix : ((T.t -> X.t -> Y.t) -> T.t -> X.t -> Y.t) -> T.t -> X.t -> Y.t