package herdtools7

  1. Overview
  2. Docs
val use : typing_rule -> unit
val use_with : 'a -> typing_rule -> 'a
OCaml

Innovation. Community. Security.