Module Raw_order.Rule80A

module Rule80A: sig .. end

type t = [ `Agency
       | `Agency_PT
       | `Agency_PTIA
       | `Agent_other_member
       | `Agent_other_member_PT
       | `Agent_other_member_PTIA
       | `Individual
       | `Individual_PT
       | `Individual_PTIA ] 

val __t_of_sexp__ : Sexplib.Sexp.t -> t

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val tws_of_t : [< `Agency
        | `Agency_PT
        | `Agency_PTIA
        | `Agent_other_member
        | `Agent_other_member_PT
        | `Agent_other_member_PTIA
        | `Individual
        | `Individual_PT
        | `Individual_PTIA ] ->
       string

val t_of_tws : string ->
       [> `Agency
        | `Agency_PT
        | `Agency_PTIA
        | `Agent_other_member
        | `Agent_other_member_PT
        | `Agent_other_member_PTIA
        | `Individual
        | `Individual_PT
        | `Individual_PTIA ]

val val_type : [ `Agency
       | `Agency_PT
       | `Agency_PTIA
       | `Agent_other_member
       | `Agent_other_member_PT
       | `Agent_other_member_PTIA
       | `Individual
       | `Individual_PT
       | `Individual_PTIA ] Tws_prot.Val_type.t