about summary refs log tree commit diff
path: root/src/name/Name.ml
blob: 81c6575d238ec9dfb685e0b0324595365eeb5aa4 (plain)
1
2
3
4
5
6
7
8
9
type t = Yuujinchou.Trie.path

type local = string option

let to_local : t -> local option = function
  | name :: [] -> Some (Some name)
  | _ -> None

let pp = Fmt.list ~sep:(Fmt.const Fmt.char '.') Fmt.string