package herdtools7

  1. Overview
  2. Docs
val push : typing_rule -> unit
val reset : unit -> unit
val get : unit -> typing_rule list
OCaml

Innovation. Community. Security.