package acgtk

  1. Overview
  2. Docs
exception Not_found
type t
val type_to_string : Logic.Lambda.Lambda.stype -> t -> string
val term_to_string : Logic.Lambda.Lambda.term -> t -> string