package lascar

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor for converting an FSM transition, with a given implementation of values into another one with a different implementation

Parameters

module T1 : T
module T2 : T

Signature

val map : (T1.Expr.value -> T2.Expr.value) -> T1.t -> T2.t