package rfsm

  1. Overview
  2. Docs
type t =
  1. | TiConst of int
  2. | TiVar of string
  3. | TiBinop of string * t * t
type env = (string * int) list
exception Illegal_op of string
exception Illegal_type_index of t
exception Unbound_type_index of string
val subst : env -> t -> t
val vars_of : t -> VarSet.t
val to_string : t -> string
OCaml

Innovation. Community. Security.