SHARE
TWEET

cmi2mli

bvdeenen May 9th, 2019 86 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. find _build/ -name "*.cmi"
  2. _build/default/src/.read_heights.objs/byte/read_heights.cmi
  3. _build/default/src/.read_heights.inline-tests/.read_heights.inline-tests.eobjs/byte/run.cmi
  4. cmitomli _build/default/src/.read_heights.objs/byte/read_heights.cmi
  5. type hgt = { data : Core.Bytes.t; xlen : int; lat : float; lon : float; }
  6. val get_hgt : string -> string -> hgt
  7. val get_alt : hgt -> float -> float -> float
  8. val stream_fold : ('a -> 'b -> 'b) -> 'a Stream.t -> 'b -> 'b
  9. val line_stream : Core.In_channel.t -> Base.string Stream.t
  10. type hgt_record = { p : string; z : string; }
  11. val get_map_files : string -> (string, hgt_record) Core.Hashtbl.t
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top