module Auto_loop_unroll: sig .. end
sig
end
Heuristic for automatic loop unrolling.
module Make: functor (Abstract : Abstractions.Eva) -> sig .. end
functor (
Abstract
:
Abstractions.Eva
) ->