links

The Links Programming Language
IN THIS PACKAGE
type t = {
name : string;
current_value : string option;
default : string option;
value_hint : string option;
synopsis : string option;
kind : [ `Flag | `Option | `MultiOption ];
}
val reflect : string -> t