package lambdapi

  1. Overview
  2. Docs
val coerce : Term.sym

Symbol of the function that computes coercions. Coercion rules are added on that symbol.

val apply : Term.term -> Term.term -> Term.term -> Term.term

apply a b t creates the coercion of term t from type a to type b.

OCaml

Innovation. Community. Security.