package symkat

  1. Overview
  2. Docs
val enfa : Kat.expr' -> Kat.expr' -> Kat.var Automata.senfa * int * int
OCaml

Innovation. Community. Security.