conj_infos.mli 1.26 KB
Newer Older
huet's avatar
huet committed
1 2 3 4 5 6
(**************************************************************************)
(*                                                                        *)
(*                     The Sanskrit Heritage Platform                     *)
(*                                                                        *)
(*                       Gérard Huet & Pawan Goyal                        *)
(*                                                                        *)
7
(* ©2018 Institut National de Recherche en Informatique et en Automatique *)
huet's avatar
huet committed
8 9 10 11 12 13 14 15
(**************************************************************************)

(*i module Conj_infos : sig i*)

(* NB no module value, [Conj_infos] is a purely defining types signature *)

type vmorph =
  [ Prim of int and bool and Word.word  (* primary conjugation *)
16
         (* gana    pada     form of present 3rd sg for checking *)
Gérard Huet's avatar
Gérard Huet committed
17 18 19 20
         (* pada=True Paradmaipada pada=False AAtmanepada   *)
  | Causa of Word.word          (* causative 3rd sg form    *) 
  | Inten of Word.word          (* intensive 3rd sg form    *)
  | Desid of Word.word          (* desiderative 3rd sg form *)
huet's avatar
huet committed
21 22 23 24 25 26
  ]
;
type root_infos = (vmorph * bool) (* [True] means root admits preverb aa- *)
; (* NB should be (list vmorph * bool) for good factorisation *)

(*i end; i*)