Module Nts

module Nts: sig .. end
Most basic operations over nts types definition.

exception CntInvalidExpression
val nts_pprint_nts_var : Nts_types.nts_var -> string
val nts_get_nts_gen_var_name : Nts_types.nts_genrel_var -> string
val nts_pprint_btype : Nts_types.nts_base_types -> string
val nts_pprint_nts_typeinfo_var : Nts_types.nts_var -> string
val pprint_nts_var_list : Nts_types.nts_var list -> string
val pprint_nts_and_prime_var_list : Nts_types.nts_var list -> string
val concat_if_first_arg_nonzero : string -> string -> string
val concat_comma_both_arg_non_empty : string -> string -> string
val pprint_typeinfo_int_nts_var_list : Nts_types.nts_var list -> string
val pprint_typeinfo_nts_var_list : Nts_types.nts_var list -> string