Sourcetype _ case = | Case : {code : int;name : string;encoding : 'a Json_encoding.encoding;select : 'b -> 'a option;deselect : 'a -> 'b;
} -> 'b case
Sourceval make :
code:int ->
name:string ->
encoding:'a Json_encoding.encoding ->
select:('b -> 'a option) ->
deselect:('a -> 'b) ->
'b case Sourceval merge_errs_same_code :
?definitions_path:string ->
'a case list ->
(IntMap.key * Json_schema.schema lazy_t) list Sourceval get : code:int -> 'a case list -> 'a Json_encoding.encoding option