module Solver: sig .. end
sig
end
module type PUZZLE = sig .. end
module type S = functor (Puzzle : PUZZLE) -> sig .. end
functor (
Puzzle
:
PUZZLE
) ->
Solver.Make
Solver.MakeUnguided
module MakeUnguided: S
S
module Make: S