package lascar

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

Values occuring in FSM expressions and FSMs

module type T = sig ... end
module Int : T with type t = int

Some predefined instances

module Bool : T with type t = bool