sig   type t   type kind = Backward | Forward | Both   val create :     string ->     State_builder.Proxy.kind -> State.t list -> State_builder.Proxy.t   val extend : State.t list -> State_builder.Proxy.t -> unit   val get : State_builder.Proxy.t -> State.t end