MMT < Back

Packages

package root

Definition Classes
root
package info

Definition Classes
root
package kwarc

Definition Classes
info
package mmt

Definition Classes
kwarc
package lf

Definition Classes
mmt
package coercions

Definition Classes
lf
LFTypeCoercionRule
package compile

Definition Classes
lf
package elpi

Definition Classes
lf
package externals

Definition Classes
lf
package hollight

Definition Classes
lf
package inhabitation

Definition Classes
lf
package structuralfeatures

Definition Classes
lf
package subtypes

Definition Classes
lf

p

info.kwarc.mmt.lf

coercions

package coercions

Type Members

class LFTypeCoercionRule extends TypeCoercionRule
the typical case where lift(A) = Apply(operator, A)

Ungrouped