+3

lib/sort.ml

reviewed

··· 32 32 | Float -> "float" 33 33 34 34 let pp ppf s = Format.pp_print_string ppf (to_string s) 35 35 + let or_kind ~kind s = if kind <> "" then kind else to_string s 36 36 + let kinded' ~kind:k s = if k = "" then s else k ^ " " ^ s 37 37 + let kinded ~kind s = kinded' ~kind (to_string s)

+10

lib/sort.mli

reviewed

··· 29 29 30 30 val pp : Format.formatter -> t -> unit 31 31 (** [pp] formats sorts. *) 32 32 + 33 33 + val or_kind : kind:string -> t -> string 34 34 + (** [or_kind ~kind s] is [kind] when non-empty, otherwise {!to_string} [s]. *) 35 35 + 36 36 + val kinded' : kind:string -> string -> string 37 37 + (** [kinded' ~kind s] is [s] when [kind] is empty, [kind] followed by a space 38 38 + and [s] otherwise. *) 39 39 + 40 40 + val kinded : kind:string -> t -> string 41 41 + (** [kinded ~kind sort] is {!kinded'} applied to {!to_string} [sort]. *)