Util_encode_decode.Encodeval mk_map : (SE.value * SE.value) list list sencodeval mk_map' : (string * SE.value) list list sencodeval mk_list : SE.value list list sencodeval list_elem_opt : ('a -> 'b) -> 'a option -> 'b Util_pure.List.tval u32 : U32.t sencodeval set : 'a sencode -> 'a BatSet.t -> SE.valueval cset : 'a sencode -> 'a Util_cache.CSet.t sencodeval cmap : ('a sencode * 'b sencode) -> ('a, 'b) Util_cache.CMap.t sencode