Module Config.LocationEncoding

include Param_sig.VALUE with type t = [ `Bitvectors | `Datatype | `Direct ]
include Param_sig.VALUE_IN with type t = [ `Bitvectors | `Datatype | `Direct ]
type t = [
  1. | `Bitvectors
  2. | `Datatype
  3. | `Direct
]
include Param_sig.PARAM
val name : string
val short_name : char option
val help : string
val default : t
val set : t -> unit
val get : unit -> t
val values : t list
val values_with_names : (t * string) list