File: lTerm_widget.ml

package info (click to toggle)
lambda-term 3.3.2-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,108 kB
  • sloc: ml: 14,981; ansic: 522; makefile: 32
file content (11 lines) | stat: -rw-r--r-- 212 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
 
(*
 * lTerm_widget.ml
 * ---------------
 * Copyright : (c) 2019, ZAN DoYe <zandoye@gmail.com>
 * Licence   : BSD3
 *
 * This file is a part of Lambda-Term.
 *)

include LTerm_widget_impl.Make(LiteralIntf.UTF8)