namespace latin:/

fixmeta ur:?LF

view PropositionsAsTypes : ?Logic  ?TypedTerms =
  prop = tp
  ded  = tm


view TypesAsPropositionsAs : ?TypedTerms  ?Logic =
  tp = prop
  tm = ded