File: pytypes.mli

package info (click to toggle)
pyml 20231101-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 592 kB
  • sloc: ml: 7,043; ansic: 1,802; makefile: 317; sh: 13
file content (15 lines) | stat: -rw-r--r-- 296 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
type pyobject

type compare = LT | LE | EQ | NE | GT | GE

type input = Single | File | Eval

val int_of_compare: compare -> int

val compare_of_int: int -> compare

val input_of_int: int -> input

type 'a file = Filename of string | Channel of 'a

val file_map: ('a -> 'b) -> 'a file -> 'b file