Module Disambiguation.Entry

val is_lf_variable : t -> Stdlib.Bool.t
val is_meta_variable : t -> Stdlib.Bool.t
val is_parameter_variable : t -> Stdlib.Bool.t
val is_substitution_variable : t -> Stdlib.Bool.t
val is_context_variable : t -> Stdlib.Bool.t
val is_computation_variable : t -> Stdlib.Bool.t
val is_variable : t -> Stdlib.Bool.t
val is_lf_type_constant : t -> Stdlib.Bool.t
val is_lf_term_constant : t -> Stdlib.Bool.t
val is_schema_constant : t -> Stdlib.Bool.t
val is_computation_inductive_type_constant : t -> Stdlib.Bool.t
val is_computation_stratified_type_constant : t -> Stdlib.Bool.t
val is_computation_coinductive_type_constant : t -> Stdlib.Bool.t
val is_computation_abbreviation_type_constant : t -> Stdlib.Bool.t
val is_computation_term_constructor : t -> Stdlib.Bool.t
val is_computation_term_destructor : t -> Stdlib.Bool.t
val is_program_constant : t -> Stdlib.Bool.t
val is_module : t -> Stdlib.Bool.t