package electrod

  1. Overview
  2. Docs

Implements a recursor over generic goals (necessary for conversion to LTL).

class virtual +'a recursor : object ... end
OCaml

Innovation. Community. Security.