package herdtools7

  1. Overview
  2. Docs

Parameters

module Buffer : TYPBUFFER

Signature

val use : typing_rule -> unit
val use_with : 'a -> typing_rule -> 'a
OCaml

Innovation. Community. Security.