Source file `piEltHA.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(* Copyright (C) 2020, Francois Berenger

   Yamanishi laboratory,
   Department of Bioscience and Bioinformatics,
   Faculty of Computer Science and Systems Engineering,
   Kyushu Institute of Technology,
   680-4 Kawazu, Iizuka, Fukuoka, 820-8502, Japan. *)

(* format: (#pi elec.,elt,#HA) cf. bin/type_atoms.py for details *)

type t = string

let dummy = ""

let to_string x =
  x

let of_string s =
  s

let compare x y =
  String.compare x y