Skip to content

Commit

Permalink
expose Pid.sanitize_name
Browse files Browse the repository at this point in the history
  • Loading branch information
ixzzd authored and rr0gi committed Nov 7, 2024
1 parent dc07cd9 commit be335cf
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions pid.mli
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@ val parse_exn : string -> t

(** {1 Current process identifier} *)

val sanitize_name : string -> string
val set_name : string -> unit
val self : unit -> t
val self_name : unit -> string
Expand Down

0 comments on commit be335cf

Please sign in to comment.