Module Middle.Utils

Utilities, primarily surrounding distribution names and suffixes

val unnormalized_suffices : string list

Name mangling helper functions for distributions

val distribution_suffices : string list
val conditioning_suffices : string list
val cumulative_distribution_suffices : string list
val cumulative_distribution_suffices_w_rng : string list
val is_user_ident : string -> bool
val unnormalized_suffix : string -> string
val split_distribution_suffix : string -> (string * string) option
val is_distribution_name : string -> bool
val is_unnormalized_distribution : string -> bool
val replace_unnormalized_suffix : string -> name:string -> string option
val stdlib_distribution_name : string -> string
val normalized_name : string -> string
val zip_subtypes_tuple_trans_exn : 'a list -> Expr.Typed.t Transformation.t -> ('a * Expr.Typed.t Transformation.t) list
val zip_stuple_trans_exn : 'a SizedType.t -> 'b list -> ('a SizedType.t * 'b) list
val zip_utuple_trans_exn : UnsizedType.t -> 'a list -> (UnsizedType.t * 'a) list