- base : Lean.PHashMap Lake.Name Lean.ExprThe LCNF type for the basephase.
State for the environment extension used to save the LCNF base phase type for declarations that do not have code associated with them. Example: constructors, inductive types, foreign functions.