Module Filepath (.ml)

module Filepath: sig .. end

type abs = [ `Abs ] 

type rel = [ `Rel ] 

type unk = [ `Abs | `Rel ] 

type 'a t = 'a * string list 

type t_abs = abs t 

type t_rel = rel t 

type t_unk = unk t 

val norm1 : ?acc:string list -> string list -> string list

val rel_of_segs : string list -> rel t

val abs_of_segs : string list -> abs t

val the_root : abs t

val of_segs : string list -> unk t

val segs_of_string : string -> string list

val of_string : string -> unk t

val segs_to_string : Am_String.String.t list -> Am_String.String.t

val to_segs : 'a * 'b -> 'b

val to_string : 'a * Am_String.String.t list -> Am_String.String.t

val abs : base:[< `Abs ] * string list ->
       [< `Abs | `Rel ] * string list -> abs t

val not_above_root : abs t -> abs t

val root : base:[< `Abs ] * string list ->
       abs t -> abs t

val classify : [< `Abs | `Rel ] * 'a -> [> `Abs of [> `Abs ] * 'a | `Rel of [> `Rel ] * 'a ]

val map_nonempty_segs : (string -> 'a) -> string list -> 'a list

val remove_last_slash : string list -> string list

val rel_from : base:[< `Abs ] * string list ->
       [< `Abs ] * string list -> [> `Rel ] * string list

val append : 'a * string list -> string -> 'a * string list