Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
pytypes.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38type pyobject type compare = LT | LE | EQ | NE | GT | GE type input = Single | File | Eval let int_of_compare c = match c with LT -> 0 | LE -> 1 | EQ -> 2 | NE -> 3 | GT -> 4 | GE -> 5 let compare_of_int c = match c with 0 -> LT | 1 -> LE | 2 -> EQ | 3 -> NE | 4 -> GT | 5 -> GE | _ -> failwith "Pytypes.compare_of_int" let input_of_int input = match input with 256 -> Single | 257 -> File | 258 -> Eval | _ -> failwith "Pytypes.input_of_int" type 'a file = Filename of string | Channel of 'a let file_map f x = match x with Filename filename -> Filename filename | Channel channel -> Channel (f channel)