package herdtools7

  1. Overview
  2. Docs

Parameters

module Buffer : SEMBUFFER

Signature

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

Innovation. Community. Security.