Module Format822.RawInputSource

Parameters

module Set : Set.S

Signature

Sourceval input_raw : (string -> IO.input -> Set.elt list) -> string list -> Set.elt list
Sourceval input_raw_in : (string -> 'a -> Set.elt list) -> 'a -> Set.elt list