package lascar

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.