sig
  type 'a t = 'a OASISSchema_intern.t
  val new_field :
    'b OASISSchema.t ->
    OASISPlugin.all_t ->
    OASISTypes.name ->
    ?default:'a ->
    ?feature:OASISFeatures.t ->
    'a OASISValues.t ->
    (unit -> string) ->
    'c OASISPlugin.prop -> ('b -> 'c -> 'a) -> PropList.Data.t -> 'a
  val new_field_conditional :
    'b OASISSchema.t ->
    OASISPlugin.all_t ->
    OASISTypes.name ->
    ?default_cond:'a OASISExpr.choices ->
    ?default:'a ->
    ?feature:OASISFeatures.t ->
    'a OASISValues.t ->
    (unit -> string) ->
    'c OASISPlugin.prop ->
    ('b -> 'c -> 'a OASISExpr.choices) ->
    PropList.Data.t -> 'a OASISExpr.choices
end