Module Qed.KindSource

Logic Types Utilities

Sourceval of_tau : ('f, 'a) Logic.datatype -> Logic.sort
Sourceval of_poly : (int -> Logic.sort) -> ('f, 'a) Logic.datatype -> Logic.sort
Sourceval degree_of_tau : ('f, 'a) Logic.datatype -> int
Sourceval degree_of_list : ('f, 'a) Logic.datatype list -> int
Sourceval degree_of_sig : ('f, 'a) Logic.funtype -> int
Sourceval type_params : int -> ('f, 'a) Logic.datatype list
Sourceval merge_list : ('a -> Logic.sort) -> Logic.sort -> 'a list -> Logic.sort
Sourceval tmap : ('a, 'f) Logic.datatype array -> ('a, 'f) Logic.datatype -> ('a, 'f) Logic.datatype
Sourceval basename : Logic.sort -> string
Sourceval pretty : Format.formatter -> Logic.sort -> unit
Sourceval pp_tau : (Format.formatter -> int -> unit) -> (Format.formatter -> 'f -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> ('f, 'a) Logic.datatype -> unit
Sourceval pp_data : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> 'a -> 'b list -> unit
Sourceval pp_record : (Format.formatter -> 'f -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ?opened:bool -> ('f * 'b) list -> unit
Sourceval eq_tau : ('f -> 'f -> bool) -> ('a -> 'a -> bool) -> ('f, 'a) Logic.datatype -> ('f, 'a) Logic.datatype -> bool
Sourceval compare_tau : ('f -> 'f -> int) -> ('a -> 'a -> int) -> ('f, 'a) Logic.datatype -> ('f, 'a) Logic.datatype -> int