package lascar

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

Functor for converting a FSM condition, with a given implementation of values into another one with a different implementations

Parameters

module C1 : T
module C2 : T

Signature

val map : (C1.Expr.value -> C2.Expr.value) -> C1.t -> C2.t