Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tag: RELEASE-0.13
Fetching contributors…

Cannot retrieve contributors at this time

51 lines (41 sloc) 0.81 kB
type file_type =
| PL of pl_type
| Obj of string
| Binary of string
| Text of string
| Doc of string
| Media of media_type
| Archive of string
| Other of string
and pl_type =
| ML of string
| Haskell of string
| Makefile
| Script of string
| C | Cplusplus | Java | Csharp
| Elisp
| Perl | Python | Ruby
| Erlang
| Web of webpl_type
| Asm
| Thrift
and webpl_type =
| Php of string
| Js
| Css
| Html | Xml | Json
| Sql
and media_type =
| Sound of string
| Picture of string
| Video of string
val file_type_of_file:
Common.filename -> file_type
val is_textual_file:
Common.filename -> bool
(* specialisations *)
val webpl_type_of_file:
Common.filename -> webpl_type option
(*
val string_of_pl: pl_kind -> string
*)
Jump to Line
Something went wrong with that request. Please try again.