package grenier

You can search for identifiers within the package.

in-package search v0.2.0

A collection of various algorithms in OCaml

Install

sha256=b08e4c774ef72fc53c4fcee477e739d1beac9702079300daddf51ced9fa9cd26

sha512=984d92c51dac7b3f169cad595969a4fdbeb2be7b420ed1a85618d6adbb64af855cf2618d9bd0834e84d6734b99196944cab04435e1aeacad8cdfbc9a7f73d6d4

Sourcemodule type DFA = sig ... end

Sourcemodule type INPUT = sig ... end

module Minimize
  (Label : Map.OrderedType)
  (In : INPUT with type label := Label.t) : 
  sig ... end