package soteria

  1. Overview
  2. Docs
package soteria
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Value.Expr

val of_value : 'a t -> t
val ty : t -> 'a ty
val subst : (t -> 'a t) -> t -> 'b t
module Subst : sig ... end