Module SpecDomain.Val

type s = string
val equal_s : s -> s -> Ppx_deriving_runtime.bool
val compare_s : s -> s -> Ppx_deriving_runtime.int
val hash_s : s -> int
val name : string
val var_state : string
val string_of_state : 'a -> 'a