File: types.txt

package info (click to toggle)
highlight.js 9.18.5%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, trixie
  • size: 6,672 kB
  • sloc: javascript: 40,928; python: 342; makefile: 160; sh: 11
file content (17 lines) | stat: -rw-r--r-- 314 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
(* type variables *)
type 'a t = 'a list
let f (a : 'a list) : 'a = List.hd a

(* polymorphic variants *)
type t = [ `A | `B ]

(* variants *)
type result = Sat | Unsat | Unknown

(* module and module types *)
module type S = sig
  val compute : unit -> unit
end
module Impl : S = struct
  let compute () = ()
end