package rfsm

  1. Overview
  2. Docs
On This Page
  1. Substitutions
Legend:
Library
Module
Module type
Parameter
Class
Class type

Substitutions

type 'a t = (Ident.t * 'a) list

The type of substitution, substituting identifiers by values of type 'a

val apply : 'a t -> Ident.t -> 'a

apply s i is s(i). Raises Not_found if i is not bound in s.

val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
OCaml

Innovation. Community. Security.