Module type Fitc_gp.Sig

module type Sig = functor (Spec : Interfaces.Specs.Eval) -> Sigs.Eval  with module Spec = Spec
Parameters:
Spec : Interfaces.Specs.Eval