diff options
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index fcd0c32..538af91 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -1,8 +1,7 @@ type node_type = - | Leaf [@name "leaf"] - | Tag [@name "tag"] - | Other [@name "other"] - [@@deriving yojson] + | Leaf + | Tag + | Other type value_constraint = | Regex of string [@name "regex"] @@ -13,7 +12,7 @@ type completion_help_type = | List of string [@name "list"] | Path of string [@name "path"] | Script of string [@name "script"] - [@@deriving yojson] + [@@deriving to_yojson] type ref_node_data = { node_type: node_type; @@ -30,9 +29,9 @@ type ref_node_data = { keep_order: bool; hidden: bool; secret: bool; -} [@@deriving yojson] +} [@@deriving to_yojson] -type t = ref_node_data Vytree.t [@@deriving yojson] +type t = ref_node_data Vytree.t [@@deriving to_yojson] exception Bad_interface_definition of string |